731 Commits

Author	SHA1	Message	Date
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
Laurenz	e218226655	Merge some modules	2022-10-17 20:04:22 +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