684 Commits

Author SHA1 Message Date
Laurenz
9ba4d2c134 New macro setup 2022-12-14 10:09:44 +01:00
Laurenz
4c73456fc1 Move highlighting into new IDE module 2022-12-14 10:02:19 +01:00
Laurenz
ad66fbdfa2 Detect infinite loops 2022-12-14 09:56:24 +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
11c7ceb29e Extend math library 2022-12-07 14:01:20 +01:00
Laurenz
5a0053c729 Vectors and cases 2022-12-07 11:30:17 +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
f57ce86431 Heading numbering and outline 2022-12-02 15:53:01 +01:00
Laurenz
56923ee472 Multi-part numbering patterns 2022-12-02 15:47:25 +01:00
Laurenz
9bc90c371f Introspection 2022-12-02 15:45:18 +01:00
Laurenz
5110a41de1 Introduce virtual typesetter 2022-12-02 13:21:36 +01:00
Laurenz
bdf06c9c61 Fix auto column shrinking behaviour 2022-11-30 14:49:55 +01:00
Laurenz
579dac3c91 Strong delta 2022-11-29 14:57:05 +01:00
Laurenz
0efe669278 Reorganize library and tests 2022-11-29 14:18:13 +01:00
Laurenz
836692e73c Widow and orphan prevention 2022-11-28 17:57:16 +01:00
Laurenz
989d170dc7 Fragments 2022-11-28 12:40:16 +01:00
Laurenz
6bafc63910 Document metadata 2022-11-26 23:52:01 +01:00
Laurenz
0579fd4409 Reorganize library base 2022-11-26 17:13:31 +01:00
Laurenz
36490f7f7b Make text and space nodes unselectable 2022-11-26 15:09:03 +01:00
Laurenz
7af46fc025 Dynamic labels 2022-11-26 13:41:27 +01:00
Laurenz
3cdd8bfa40 Extract numbering pattern from list node 2022-11-26 12:51:15 +01:00
Laurenz
96f72eee6c Separate typesetting and compilation 2022-11-24 17:51:07 +01:00
Laurenz
5ae81971f2 Introduce Library 2022-11-23 16:07:54 +01:00
Laurenz
b2a3d3f235 More general evaluation interface 2022-11-23 12:00:06 +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
c28d2130dd Don't display functions 2022-11-21 17:11:40 +01:00
Laurenz
1d7e082d1d Labels 2022-11-21 16:12:24 +01:00
Laurenz
ddada45097 Tracepoints for show rules 2022-11-20 23:32:30 +01:00
Laurenz
72361106bc Add flag for model printing 2022-11-20 21:39:19 +01:00
Laurenz
321121c6c3 Move font folder 2022-11-20 18:14:13 +01:00
Laurenz
8eeb4ad8f6 Rename margins to margin 2022-11-19 23:33:33 +01:00
Laurenz
1937d746ab Show everything! 2022-11-19 22:40:42 +01:00
Laurenz
9b8c1dc19f Pass text node to text show rule instead of string 2022-11-18 14:31:51 +01:00
Laurenz
bf59c08a0a New interaction model 2022-11-12 23:46:26 +01:00
Laurenz
010cc2effc New block spacing model 2022-11-09 18:20:02 +01:00
Laurenz
a7a4cae294 Less style properties 2022-11-08 11:45:59 +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
33928a00dc Tidy up library 2022-11-03 16:50:26 +01:00
Laurenz
46921a8c28 Separate test crate
This removes the not-really-cyclic dependency that confuses rust-analyzer. See also: https://github.com/rust-lang/rust-analyzer/issues/2414
2022-11-03 16:13:35 +01:00
Laurenz
37a7afddfa Split crates 2022-11-03 13:35:39 +01:00
Laurenz
f547c97072 Reduce usage of finalize 2022-10-31 15:47:49 +01:00
Laurenz
636bdb9e43 Rename RoleMap to LangItems 2022-10-31 09:11:56 +01:00
Laurenz
95e9134a3c Refactor geom module 2022-10-28 16:43:38 +02:00
Laurenz
c0e972b91a Reduce dependencies from compiler on library 2022-10-18 00:04:12 +02:00