375 Commits

Author SHA1 Message Date
Laurenz
40561e57fb Remove most fields from SyntaxKind enum 2023-01-15 12:40:27 +01:00
Laurenz
15f0434d1f Eliminate literal type 2023-01-14 12:52:24 +01:00
Laurenz
ab03f32240 Reorganize syntax module 2023-01-14 12:34:17 +01:00
Laurenz
29b31c4a5a New import syntax 2023-01-03 12:32:17 +01:00
Laurenz
7c683db367 Merge MarkupNode and MathNode into Expr 2022-12-31 09:52:14 +01:00
Laurenz
68c6160a14 Recursion with max depth 2022-12-30 09:48:30 +01:00
Laurenz
8527517258 Rename desc to terms 2022-12-22 18:25:29 +01:00
Laurenz
ba294e2670 Split up list type into three separate types and document them 2022-12-21 12:50:33 +01:00
Martin Haug
5e19991b6c Document Utility funcs, some layout funcs 2022-12-20 18:31:47 +01:00
Laurenz
35b16e545b Document parameters in comment 2022-12-17 16:24:29 +01:00
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