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
|
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
|
0efe669278
|
Reorganize library and tests
|
2022-11-29 14:18:13 +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
|
bf5edbbbbb
|
Tidy up
|
2022-11-25 12:16:13 +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
|
c2749f7615
|
More sensible `LayoutRoot`
|
2022-11-22 21:09:20 +01:00 |
Laurenz
|
5992f11b4c
|
Reorganize content type
|
2022-11-22 20:12:37 +01:00 |
Laurenz
|
c3895cbd66
|
Remove `Target` enum
|
2022-11-18 11:23:56 +01:00 |
Laurenz
|
bf59c08a0a
|
New interaction model
|
2022-11-12 23:46:26 +01:00 |
Laurenz
|
33928a00dc
|
Tidy up library
|
2022-11-03 16:50:26 +01:00 |
Laurenz
|
37a7afddfa
|
Split crates
|
2022-11-03 13:35:39 +01:00 |