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 |
|