125 Commits

Author SHA1 Message Date
Laurenz
9d962c5c40 More track_caller annotations 2023-01-27 12:16:54 +01:00
Laurenz
43ef60c09c Tracing-based expression tooltips 2023-01-27 12:05:12 +01:00
Laurenz
1de53730bc Symbol values and modules 2023-01-27 12:04:36 +01:00
Laurenz
13efa128c8 Macro for math operators 2023-01-27 11:57:00 +01:00
Laurenz
a8fd64f928 Hashtags everywhere! 2023-01-27 11:54:30 +01:00
Laurenz
33585d9a3f Small fixes 2023-01-27 11:38:04 +01:00
Laurenz
4653ffebb4 Math module 2023-01-23 15:23:52 +01:00
Laurenz
7e295d84b5 Math delimiter grouping 2023-01-22 13:32:58 +01:00
Laurenz
953bdc1859 Vector and case layout 2023-01-22 13:32:44 +01:00
Laurenz
a0146b5b9b Math operator functions 2023-01-22 13:32:32 +01:00
Laurenz
c5ef350cce Under- and overbraces 2023-01-22 13:31:44 +01:00
Laurenz
bcf20610fc Math accent handling 2023-01-22 13:31:28 +01:00
Laurenz
2c48c8d7a1 Multi-line alignment with & 2023-01-22 13:31:16 +01:00
Laurenz
203d5779f8 Fraction layout 2023-01-22 13:30:59 +01:00
Laurenz
57a636b370 Math styles 2023-01-22 13:30:45 +01:00
Laurenz
13cc16b3cc Class-based math spacing 2023-01-22 13:30:20 +01:00
Laurenz
cfca115804 Math sub-, superscript and limit layout 2023-01-22 13:29:55 +01:00
Laurenz
f7b3b30ca1 Math root layout 2023-01-22 13:28:24 +01:00
Laurenz
ea378e89b4 Better math atoms 2023-01-22 13:27:49 +01:00
Laurenz
a50cb58823 Glyph stretching 2023-01-22 13:27:20 +01:00
Laurenz
83b6858146 Math framework 2023-01-22 13:26:42 +01:00
Laurenz
760936af49 Remove ReX 2023-01-22 13:19:48 +01:00
Laurenz
79d851cd0b Fix fr handling for horizontal auto page 2023-01-22 13:18:58 +01:00
Laurenz
815ee3254c Formatting fixes 2023-01-22 13:18:30 +01:00
Laurenz
eabbbf7eae Name handling for New Computer Modern Math 2023-01-22 13:16:03 +01:00
Laurenz
e460da1ce7 Split up math library 2023-01-03 12:40:14 +01:00
Laurenz
40561e57fb Remove most fields from SyntaxKind enum 2023-01-15 12:40:27 +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
a6d90c1bf1 Numbering functions 2022-12-30 20:00:50 +01:00
Martin Haug
a12bc3a797 Correct plain text docs 2022-12-29 19:00:28 +01:00
Martin Haug
4119e46a6e Change read display name, update symmie 2022-12-29 18:46:05 +01:00
Martin Haug
bc535f7b71 read function 2022-12-29 11:49:01 +01:00
Laurenz
94b90761eb Bugfixes 2022-12-27 16:07:26 +01:00
Laurenz
e362dc67c4 Typo fix 2022-12-26 12:00:21 +01:00
Laurenz
046cd4f5c7 Fix autocomplete 2022-12-25 17:20:12 +01:00
Laurenz
fdf5f864fa Fix broken links 2022-12-23 02:11:05 +01:00
Laurenz
1a9bcaccec Fix typos 2022-12-23 00:34:17 +01:00
Laurenz
fd787317a8 Hide margin auto setting 2022-12-22 21:11:27 +01:00
Laurenz
c9dcf8fd83 Expand math syntax section 2022-12-22 19:13:38 +01:00
Laurenz
8527517258 Rename desc to terms 2022-12-22 18:25:29 +01:00
Martin Haug
947522b71a Symbol table 2022-12-22 01:33:09 +01:00
Laurenz
c06d45002a Document individual directions 2022-12-22 00:52:42 +01:00
Laurenz
990224c0f8 Annotate return values 2022-12-22 00:34:03 +01:00
Laurenz
4c92ab4ace Rename the create category to construct 2022-12-21 23:51:15 +01:00
Laurenz
038f9b015e Document line function 2022-12-21 16:32:14 +01:00
Laurenz
31f904a2c4 Split up and document shapes 2022-12-21 16:19:46 +01:00
Martin Haug
4af7b9118c Image docs 2022-12-21 15:34:29 +01:00
Martin Haug
be83b3d687 Table alignment and docs 2022-12-21 14:24:22 +01:00
Martin Haug
c06be66990 Finish the layout docs 2022-12-21 13:16:59 +01:00