Commit Graph

21 Commits

Author SHA1 Message Date
Alexander Seiler e4fda4176e
Correct some typos (#746) 2023-04-12 15:13:36 +02:00
Sébastien d'Herbais de Thun 1198e0cd38
Selector rework (#640) 2023-04-12 12:47:51 +02:00
Laurenz 2606034ac7 Fix heading supplement
Fixes #730
2023-04-11 16:59:38 +02:00
Sébastien d'Herbais de Thun 23a884a67f
Changed rules of figures (#627) 2023-04-06 12:25:43 +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
Mateus Felipe C. C. Pinto 2dbbeaeb60
Provide support for portuguese language (#525) 2023-04-03 12:59:13 +02:00
Sébastien d'Herbais de Thun cc67e53099
Added FR language support (#483) 2023-03-31 19:56:41 +02:00
1bitbool 6c979e554b
Added ZH language support (#481) 2023-03-31 16:43:14 +02:00
Daniil Berezin 00f11ae56d
Added RU language support (#467) 2023-03-31 12:52:40 +02:00
Marco Radocchia 9737d3b754
Added IT language support (#413) 2023-03-29 19:34:18 +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 0ba99ab8aa Measurement and introspection rework 2023-03-19 10:19:34 +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 724e9b140c Locatability and synthesis improvements 2023-03-13 21:41:33 +01:00
Laurenz 74ab0309f0 Make figure block unbreakable 2023-03-12 23:39:30 +01:00
Laurenz 1a390deaea Figures 2023-03-11 20:01:56 +01:00