Laurenz
|
b6202b646a
|
Reflection for castables
|
2022-12-15 23:11:20 +01:00 |
|
Laurenz
|
4c73456fc1
|
Move highlighting into new IDE module
|
2022-12-14 10:02:19 +01:00 |
|
Laurenz
|
2470df05af
|
Linked syntax node
|
2022-12-14 09:57:52 +01:00 |
|
Laurenz
|
c38d55614a
|
A few math fixes
|
2022-12-09 21:22:23 +01:00 |
|
Laurenz
|
cd089b6194
|
Align set rule
|
2022-12-09 10:21:11 +01:00 |
|
Laurenz
|
b2572f9d48
|
Math shorthands
|
2022-12-06 15:37:17 +01:00 |
|
Laurenz
|
3ecb0c754b
|
More math syntax
|
2022-12-06 12:37:08 +01:00 |
|
Laurenz
|
c2e458a133
|
Symbol notation
|
2022-12-05 12:25:37 +01:00 |
|
Laurenz
|
56923ee472
|
Multi-part numbering patterns
|
2022-12-02 15:47:25 +01:00 |
|
Laurenz
|
7af46fc025
|
Dynamic labels
|
2022-11-26 13:41:27 +01:00 |
|
Laurenz
|
b2a3d3f235
|
More general evaluation interface
|
2022-11-23 12:00:06 +01:00 |
|
Laurenz
|
b476de87b7
|
Rename two syntax types
|
2022-11-22 14:53:03 +01:00 |
|
Laurenz
|
2ce727fc95
|
Make inner node and node data private
|
2022-11-22 14:40:56 +01:00 |
|
Laurenz
|
dd9c323941
|
Show with set
|
2022-11-21 17:12:16 +01:00 |
|
Laurenz
|
46d469f4be
|
Ignore linebreak directly after markup statement
|
2022-11-20 21:40:08 +01:00 |
|
Laurenz
|
565b1977ae
|
Rename RawKind to RawFields
|
2022-11-19 23:12:23 +01:00 |
|
Laurenz
|
0a41844cc4
|
Selectors
|
2022-11-07 14:43:13 +01:00 |
|
Laurenz
|
efd1853d06
|
Show it!
- New show rule syntax
- Set if syntax
- Removed wrap syntax
|
2022-11-07 12:46:05 +01:00 |
|
Laurenz
|
eb951c008b
|
Style changes
|
2022-11-04 11:38:09 +01:00 |
|
Laurenz
|
37a7afddfa
|
Split crates
|
2022-11-03 13:35:39 +01:00 |
|
Laurenz
|
95e9134a3c
|
Refactor geom module
|
2022-10-28 16:43:38 +02:00 |
|
Laurenz
|
e218226655
|
Merge some modules
|
2022-10-17 20:04:22 +02:00 |
|
Laurenz
|
4fd031a256
|
More spans in AST
|
2022-10-17 17:11:01 +02:00 |
|
Laurenz
|
fd8160f374
|
Remove SpanPos in favor of ErrorPos
|
2022-10-05 13:15:02 +02:00 |
|
Laurenz
|
ec884ec1d8
|
Refactor syntax module
|
2022-10-05 12:49:39 +02:00 |
|
Laurenz
|
5a8534a395
|
Parse basic math syntax
|
2022-10-04 13:45:16 +02:00 |
|
Laurenz
|
9db89b376d
|
Refresh TextMate grammar
|
2022-09-27 16:40:17 +02:00 |
|
Laurenz
|
704f2fbaf1
|
Description lists, link syntax, and new enum syntax
|
2022-09-26 16:12:57 +02:00 |
|
Laurenz
|
ddd3b6a82b
|
Tracked memoization
|
2022-09-21 20:25:57 +02:00 |
|
Laurenz
|
3760748fdd
|
Refactor error handling
|
2022-09-20 19:49:47 +02:00 |
|
Laurenz
|
757a701c1a
|
A New World
|
2022-09-20 16:37:15 +02:00 |
|
Laurenz
|
30be75c668
|
Renaming
`Face` -> `Font`
`FaceId` -> `FontId`
`SourceFile` -> `Source`
|
2022-09-19 11:36:59 +02:00 |
|
Laurenz
|
0d12f2ab23
|
[WIP] Label and reference syntax
|
2022-09-07 11:07:17 +02:00 |
|
Laurenz
|
cbfac6cd45
|
Fix highlighting bugs
|
2022-07-26 20:32:50 +02:00 |
|
Laurenz
|
c81e2a5f56
|
Many fixes
|
2022-06-14 13:53:02 +02:00 |
|
Laurenz
|
ed6550fdb0
|
Bump dependencies
|
2022-06-10 23:54:16 +02:00 |
|
Martin Haug
|
b905048d4b
|
Switch bounded condition, delete only_at_start
|
2022-06-01 19:39:23 +02:00 |
|
Martin Haug
|
91bf1b7f65
|
Refine ahead_nontrivia search
Also reintroduces unsafe layers under another name
|
2022-06-01 17:58:04 +02:00 |
|
Laurenz
|
af10b08cc1
|
Documentation
|
2022-06-01 16:51:46 +02:00 |
|
Laurenz
|
94b375ce55
|
Incremental renumbering
|
2022-06-01 13:49:02 +02:00 |
|
Laurenz
|
0a9172cb15
|
Enforce and make use of span ordering
|
2022-05-31 13:19:09 +02:00 |
|
Laurenz
|
9bbebd69dd
|
Numbered spans
|
2022-05-31 12:37:05 +02:00 |
|
Laurenz
|
08a6188123
|
Remove green/red distinction
|
2022-05-31 10:40:30 +02:00 |
|
Laurenz
|
c9b72aaa84
|
More highlighting API
|
2022-05-20 10:04:49 +02:00 |
|
Laurenz
|
fcce3df093
|
Simplify only_in_mode to only_in_markup
|
2022-05-19 13:56:14 +02:00 |
|
Laurenz
|
3965e10281
|
Hack in ReX for now
|
2022-05-18 19:09:57 +02:00 |
|
Laurenz
|
242b01549a
|
Safe eval function
|
2022-05-16 20:22:48 +02:00 |
|
Laurenz
|
1bca9ccecb
|
Improve diagnostics
|
2022-05-04 23:26:15 +02:00 |
|
Laurenz
|
2a45650dcc
|
Keyed pairs
|
2022-05-04 23:12:31 +02:00 |
|
Laurenz
|
e674fd7e90
|
New raw theme & nicer debug representation
|
2022-05-04 22:14:57 +02:00 |
|