2072 Commits

All Branches

Search

Author	SHA1	Message	Date
Achim D. Brucker	c803474950	Merge branch 'main' into isabelle_nightly	2023-05-19 16:19:00 +02:00
Achim D. Brucker	e17f09e624	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-05-19 16:16:30 +02:00
Achim D. Brucker	8051d4233e	Ensure compatibility with TeX Live 2019 (as used by AFP's build servers).	2023-05-17 13:57:35 +02:00
Nicolas Méric	b4b63ce989	Add subcaption package to sn-article template	2023-05-17 12:42:16 +02:00
Achim D. Brucker	2dc16b263f	Removed root.tex (bug).	2023-05-17 12:19:30 +02:00
Achim D. Brucker	5754bb4adc	Added chapter AFP and timeout.	2023-05-17 09:17:17 +02:00
Achim D. Brucker	c7debc577b	Moved src formats into subfolder and removed them from ROOT file.	2023-05-17 09:16:41 +02:00
Achim D. Brucker	9c94593f45	Removed unused files.	2023-05-17 06:39:44 +02:00
Nicolas Méric	4d89250606	Restrict RegExpInterface notations to onto class definition	2023-05-16 12:27:19 +02:00
Achim D. Brucker	3f06320034	Merge branch 'main' into isabelle_nightly	2023-05-15 17:56:39 +02:00
Achim D. Brucker	49faed4faf	Disabled PDF generation for currently not supported references.	2023-05-15 17:55:52 +02:00
Achim D. Brucker	1a22441f3e	Merge branch 'main' into isabelle_nightly	2023-05-15 14:31:01 +02:00
Achim D. Brucker	df1b2c9904	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-05-15 14:29:11 +02:00
Achim D. Brucker	9064cd3f62	Include CENELEC 50128 terminology.	2023-05-15 14:28:56 +02:00
Nicolas Méric	f5b8d4348b	Update mini-odo example references	2023-05-15 13:16:40 +02:00
Achim D. Brucker	d225a3253c	Fixed typo.	2023-05-15 13:03:52 +02:00
Achim D. Brucker	2ee0bc5074	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-05-15 13:02:52 +02:00
Achim D. Brucker	9683ea7efa	Ad-hoc fix of undefined references.	2023-05-15 13:02:49 +02:00
Burkhart Wolff	bce097b1d6	Commenting out refs to definitionSTAR	2023-05-15 13:02:41 +02:00
Nicolas Méric	65d6fb946d	Update unchecked references	2023-05-15 12:23:31 +02:00
Achim D. Brucker	060f2aca89	Merge branch 'main' into isabelle_nightly	2023-05-15 10:50:08 +02:00
Nicolas Méric	ba7c0711a8	Update documentation and some refactoring	2023-05-15 10:48:40 +02:00
Achim D. Brucker	4adbe4ce81	Merge branch 'main' into isabelle_nightly	2023-05-15 10:20:12 +02:00
Achim D. Brucker	7e698a9e69	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-05-15 10:16:34 +02:00
Achim D. Brucker	2569db05c3	Pushed raggedbottom into templates.	2023-05-15 10:16:31 +02:00
Nicolas Méric	cd311d8a3a	Update firgure* implementation	2023-05-15 09:36:02 +02:00
Achim D. Brucker	fb69f05ac0	Merge pull request 'idir-remarks' (#30) from idir-remarks into main ... Reviewed-on: #30	2023-05-15 06:34:49 +00:00
Achim D. Brucker	1986d0bcbd	Merge branch 'main' into idir-remarks	2023-05-15 06:34:34 +00:00
Achim D. Brucker	bbac65e233	Proof reading.	2023-05-15 08:30:33 +02:00
Achim D. Brucker	9cd34d7815	Run latexmk in error mode for checking for undefined references and other errors after build.	2023-05-15 07:35:11 +02:00
Achim D. Brucker	641bea4a58	Improved documentation and fixed width-bug of figure* macro.	2023-05-15 00:01:30 +02:00
Burkhart Wolff	d0cd28a45c	eliminated side_by_side figure, actualized refman.	2023-05-14 17:35:00 +02:00
Burkhart Wolff	db4290428f	...	2023-05-13 18:22:27 +02:00
Burkhart Wolff	43da6d3197	...	2023-05-13 18:20:29 +02:00
Achim D. Brucker	a93046beac	Merge.	2023-05-13 00:09:44 +02:00
Nicolas Méric	b8282b771e	Cleanup	2023-05-12 20:04:44 +02:00
Burkhart Wolff	1cfc4ac88a	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-05-12 17:50:50 +02:00
Burkhart Wolff	e9044e8d5a	Updating odo	2023-05-12 17:50:42 +02:00
Achim D. Brucker	6bab138af6	Removed default author.	2023-05-12 17:50:17 +02:00
Achim D. Brucker	fcc25f7450	Removed implementation of figure* and side_by_side_figure.	2023-05-12 17:47:18 +02:00
Burkhart Wolff	e97cca1a2c	reactivated Cenelec_Test	2023-05-12 17:17:57 +02:00
Burkhart Wolff	33fd1453a0	Global remove of side-by-side-figures, fixing various bugs - Caveat: no correspondance figure* - class figure.	2023-05-12 17:04:30 +02:00
Burkhart Wolff	543c647bcc	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-05-12 16:19:29 +02:00
Burkhart Wolff	f7141f0df8	debugging the LaTeX generation for COL	2023-05-12 16:19:14 +02:00
Burkhart Wolff	514ebee17c	pass on new figure implemntation	2023-05-12 15:11:37 +02:00
Burkhart Wolff	bdc8477f38	Code Cleanup	2023-05-12 09:42:52 +02:00
Nicolas Méric	7e01b7de97	Implement long names for classes term-antiquotataions ... Examples with value* that now work: value*‹@{scholarly-paper.author ‹church'›}› value*‹@{author ‹church›}› value*‹@{Concept-High-Level-Invariants.author ‹church›}› value*‹@{scholarly-paper.author-instances}› value*‹@{author-instances}› value*‹@{Concept-High-Level-Invariants.author-instances}›	2023-05-11 19:02:55 +02:00
Burkhart Wolff	8bdd40fc20	basic problems on multiple subfloats content solved	2023-05-11 16:21:37 +02:00
Idir Ait-Sadoune	9cc03c0816	Idir remarks for the intrduction of the manual.	2023-05-11 13:18:12 +02:00
Idir Ait-Sadoune	e9cfcdbcbc	Idir remarks for the abstract of the manual.	2023-05-11 12:48:49 +02:00