52 Commits

Author	SHA1	Message	Date
Laurenz	65f11dc364	Minor improvements	2023-06-30 09:59:58 +02:00
Laurenz	7b92bd7c34	Basic package management	2023-06-27 18:40:17 +02:00
MALO	33803b1614	Make footnotes referenceable (#1546)	2023-06-26 13:40:52 +02:00
Laurenz	f1025071ed	Tidy up	2023-06-24 15:05:59 +02:00
MALO	b96b7b7ee1	Use third person in documentation (#1560)	2023-06-24 14:33:17 +02:00
Mathias Fischler	2e03fb34cb	Add infrastructure to enrich errors with hints (#1486)	2023-06-24 14:18:21 +02:00
Laurenz	378ebe5f56	Delayed errors ... Fixes #785. Thanks to @Dherse for the idea!	2023-06-12 15:42:01 +02:00
Mathias Fischler	93e6638bfe	Resolve #1141: Add hint for missing numbering, improve hint format consistency (#1456)	2023-06-12 12:46:08 +02:00
Alex Saveau	7049a45634	Fix a bunch of typos + broken link (#1453)	2023-06-12 12:44:03 +02:00
Laurenz	fd417da04f	Improve value casting infrastructure	2023-06-06 22:06:16 +02:00
Laurenz	f4fd6855e7	Fix and simplify reference supplements ... - Fixes #873 by properly handling `none` supplement for`ref`. - Fixes #523 by adding a `supplement` parameter to `math.equation` - In the future, we can remove supplement functions in favor of show-set rules with fine-grained selectors. Currently, this is not possible because show-set + synthesis doesn't play well together	2023-05-22 20:56:30 +02:00
Laurenz	56a96881a5	Doc links for function scopes	2023-05-19 11:04:20 +02:00
Laurenz	42afa410ae	Better documentation outlines	2023-05-17 14:38:03 +02:00
Laurenz	8ac7be95e6	Documentation fixes	2023-05-11 11:36:25 +02:00
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
Laurenz	3680c854a2	Touch up docs	2023-04-26 15:37:21 +02:00
pan93412	a6df909a8d	Allow passing region to LocalName (#926)	2023-04-26 11:30:03 +02:00
Sébastien d'Herbais de Thun	561ff979d5	Add instrumentation (Part 1) (#761)	2023-04-23 14:33:56 +02:00
Pg Biel	66c707f216	fix ref->cite span (#811)	2023-04-19 16:19:19 +02:00
Chen	a066a3d283	More flexible capability to control showing reference (#646)	2023-04-13 10:41:42 +02:00
Laurenz	2606034ac7	Fix heading supplement ... Fixes #730	2023-04-11 16:59:38 +02:00
Laurenz	23715e813e	Refactor and document figures	2023-04-04 23:15:03 +02:00
Sébastien d'Herbais de Thun	f347ed4314	Improved figure numbering, labelling and referencing (#491)	2023-04-04 19:21:25 +02:00
Marek Barvíř	5e5b1bba51	Needless clone, borrows, casts and lifetimes (#504)	2023-04-01 15:53:13 +02:00
Laurenz	72fb155403	Link to label	2023-03-29 20:10:23 +02:00
Kian-Meng Ang	25acefeb5b	Fix typos (#115) ... Found via `codespell -S target -L crate,ist,thi,alle,dedented,ue,tung,nd,ende,overriden,dependant`	2023-03-22 09:02:51 +01: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	0ba99ab8aa	Measurement and introspection rework	2023-03-19 10:19:34 +01:00
Laurenz	af7fe4d760	Hover and autocomplete in show rules	2023-03-17 18:18:47 +01:00
Laurenz	c47e4cb496	State	2023-03-17 16:04:12 +01:00
Laurenz	312197b276	Counters	2023-03-17 11:45:57 +01:00
Laurenz	ecb5543985	Node links	2023-03-15 12:33:38 +01:00
Laurenz	8567811808	Simplify stable id handling	2023-03-15 10:09:17 +01:00
Laurenz	89f44f220d	Bibliography and citations	2023-03-14 22:53:54 +01:00
Laurenz	2a86e4db0b	Reference supplements	2023-03-14 22:34:43 +01:00
Laurenz	724e9b140c	Locatability and synthesis improvements	2023-03-13 21:41:33 +01:00
Laurenz	1a390deaea	Figures	2023-03-11 20:01:56 +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	62f35602a8	New #[func] macro	2023-03-10 12:55:21 +01:00
Laurenz	25b5bd1175	Fully untyped model	2023-03-07 15:17:13 +01:00
Laurenz	ab841188e3	Bump ecow	2023-03-01 11:27:10 +01:00
Laurenz	ea8edfa821	Make Rust happier about the inline documentation	2023-02-06 11:52:09 +01:00
Laurenz	f5f7df7247	Documentation	2022-12-20 16:11:37 +01:00
Martin Haug	b8ffd3ad3d	Document meta and data loading categories	2022-12-20 15:55:15 +01:00
Laurenz	35b16e545b	Document parameters in comment	2022-12-17 16:24:29 +01:00
Laurenz	b6202b646a	Reflection for castables	2022-12-15 23:11:20 +01:00
Laurenz	9ba4d2c134	New macro setup	2022-12-14 10:09:44 +01:00
Laurenz	1d324235bd	Make show rule fallible again	2022-12-05 12:21:10 +01:00