26 Commits

Author	SHA1	Message	Date
Laurenz	2f0b5eeae0	More efficient introspection ... Switches from a mutable locator to one based on tracked chains and optimizes query performance.	2023-05-11 11:27:00 +02:00
Sébastien d'Herbais de Thun	1198e0cd38	Selector rework (#640)	2023-04-12 12:47:51 +02:00
Sébastien d'Herbais de Thun	f347ed4314	Improved figure numbering, labelling and referencing (#491)	2023-04-04 19:21:25 +02:00
Laurenz	72fb155403	Link to label	2023-03-29 20:10:23 +02:00
Laurenz	2d16f9434f	Documentation for citation, bibliography, and content	2023-03-20 22:09:10 +01:00
Laurenz	ab43bd802e	Renaming and refactoring	2023-03-19 22:39:19 +01:00
Laurenz	af7fe4d760	Hover and autocomplete in show rules	2023-03-17 18:18:47 +01:00
Laurenz	312197b276	Counters	2023-03-17 11:45:57 +01:00
Laurenz	8567811808	Simplify stable id handling	2023-03-15 10:09:17 +01:00
Laurenz	724e9b140c	Locatability and synthesis improvements	2023-03-13 21:41:33 +01:00
Laurenz	529d3e10c6	Section references	2023-03-11 18:29:48 +01:00
Laurenz	a9fdff244a	Expose content representation more	2023-03-10 21:19:50 +01:00
Laurenz	c38d72383d	Make all optional fields settable	2023-03-09 14:42:14 +01:00
Laurenz	25b5bd1175	Fully untyped model	2023-03-07 15:17:13 +01:00
Laurenz	b73b4f33bc	Fix a few clippy lints	2023-01-20 14:21:59 +01:00
Laurenz	a6d90c1bf1	Numbering functions	2022-12-30 20:00:50 +01:00
Laurenz	11c7ceb29e	Extend math library	2022-12-07 14:01:20 +01:00
Laurenz	1d324235bd	Make show rule fallible again	2022-12-05 12:21:10 +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	7af46fc025	Dynamic labels	2022-11-26 13:41:27 +01:00
Laurenz	bf5edbbbbb	Tidy up	2022-11-25 12:16:13 +01:00
Laurenz	56342bd972	Move layout traits into library	2022-11-02 14:48:51 +01:00
Laurenz	37ac5d966e	More dynamic content representation	2022-11-02 09:18:33 +01:00
Laurenz	671ce3dedd	Replace encode with field	2022-10-31 13:49:10 +01:00
Laurenz	66ad023519	Split up some files	2022-10-31 08:57:44 +01:00