53 Commits

Author	SHA1	Message	Date
Burkhart Wolff	d3aefa63b1	...	2024-04-02 13:14:18 +02:00
Achim D. Brucker	ab05663738	Added stub for \inst{}.	2024-02-29 17:35:55 +00:00
Achim D. Brucker	c4875da7cb	Removed (non-working) support for eptcs.	2024-02-25 11:45:46 +00:00
Achim D. Brucker	a286e4b1bc	Improved dof_mkroot setup and minor LaTeX fixes.	2024-02-25 11:38:43 +00:00
Achim D. Brucker	5a760b9e2c	Set default options for babel.	2024-02-08 19:23:46 +00:00
Achim D. Brucker	5a8e79fb7e	Moved default value for title into template, as some LaTeX classes do not allow for a pre-set title.	2023-08-04 04:37:14 +01:00
Nicolas Méric	b364880bfc	Polymorphic classes first draft	2023-07-19 18:58:04 +02:00
Nicolas Méric	9df276ac6f	Add first beamer frame implementation in SML	2023-06-15 16:07:08 +02:00
Nicolas Méric	b4f1b8c321	Fix ECs latex list of tables	2023-06-06 19:03:20 +02:00
Achim D. Brucker	23a85cc8c2	Minor tuning of beamer-related examples.	2023-06-01 17:58:55 +02:00
Achim D. Brucker	ddcfb5f708	Initial commit: stubs for using beamer.	2023-06-01 00:21:19 +02:00
Achim D. Brucker	38035785da	Fixed SRAC definition.	2023-05-27 20:56:47 +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	9683ea7efa	Ad-hoc fix of undefined references.	2023-05-15 13:02:49 +02:00
Burkhart Wolff	d0cd28a45c	eliminated side_by_side figure, actualized refman.	2023-05-14 17:35:00 +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	514ebee17c	pass on new figure implemntation	2023-05-12 15:11:37 +02:00
Burkhart Wolff	8bdd40fc20	basic problems on multiple subfloats content solved	2023-05-11 16:21:37 +02:00
Burkhart Wolff	5b519fcbe6	Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2023-05-10 15:54:17 +02:00
Burkhart Wolff	50da7670cf	Some repair on the coherence problems in COL	2023-05-10 15:54:02 +02:00
Achim D. Brucker	09d1b27f10	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-05-10 15:21:35 +02:00
Achim D. Brucker	34e23b314f	Overwrite checks by scholarly paper.	2023-05-10 15:21:29 +02:00
Burkhart Wolff	0aa9f1ff25	renamed figure2 into float	2023-05-10 12:37:29 +02:00
Achim D. Brucker	3f8fc4f16f	Tuning.	2023-05-10 11:13:45 +02:00
Achim D. Brucker	b62b391410	Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2023-05-10 10:40:44 +02:00
Achim D. Brucker	41a4f38478	Initial support for Springer Nature's LaTeX template.	2023-05-10 10:40:19 +02:00
Burkhart Wolff	322d70ef69	deleting subparagraph (never used),orienting Example-I on figure2.	2023-05-09 16:15:47 +02:00
Achim D. Brucker	2c00f4b8db	Synchronised updates.	2023-05-02 22:34:34 +01:00
Nicolas Méric	93c722a41b	Update malformed theory names ... Theory names should use Isabelle inner syntax to allow objects referencing using long names. For inner syntax, see the isar-ref manual about syntax category "longid", which is the same as "long_ident" of outer syntax (but not "name" or "system_name").	2023-04-27 14:53:17 +02:00
Nicolas Méric	0f48f356df	Fix sml latex environment issue with "$"	2023-04-27 14:53:17 +02:00
Nicolas Méric	939715aba9	Fix scholarly_paper	2023-04-19 15:53:31 +02:00
Achim D. Brucker	4cdb6d725b	Use DOF-CC_terminology.sty.	2023-04-14 20:55:23 +01:00
Achim D. Brucker	486ae2db97	Initial commit.	2023-04-14 20:54:45 +01:00
Nicolas Méric	b1a0d5d739	Fix non unchecked text class anti-quotation	2023-03-06 13:10:20 +01:00
Burkhart Wolff	280feb8653	improved testKit, finished Concept_Example_Low_Level invariant	2023-03-04 09:57:14 +01:00
Nicolas Méric	289d47ee56	Fix ML invariants bug ... - The ML invariants are not checked anymore. Fix it	2023-03-03 17:33:46 +01:00
Burkhart Wolff	0f3beb846e	Further advances in a more serious test setup	2023-03-02 18:13:15 +01:00
Achim D. Brucker	113b3e79bf	Merge.	2023-03-02 08:06:21 +00:00
Achim D. Brucker	53867fb24f	Fixed CC example and integrated it into session hierarchy.	2023-03-02 00:23:23 +00:00
Burkhart Wolff	bf4c3d618e	ground for revision of tests: TestKit, Conceptual, Latex-tests	2023-03-01 20:47:28 +01:00
Achim D. Brucker	3a39028f1c	Added CENELEC_50128_Documentation.thy to session build.	2023-03-01 09:16:48 +00:00
Achim D. Brucker	e26b4e662e	Added description to ontology representations and document templates.	2023-02-27 12:24:23 +00:00
Achim D. Brucker	acb82477b5	Moved currently unsupported document templates to the Isabelle_DOF-Ontologies session.	2023-02-25 11:01:39 +00:00
Achim D. Brucker	85f115196b	Changed theory dependencies, allowing retirement of use_ontology_unchecked (fixes #25).	2023-02-22 22:46:25 +00:00
Achim D. Brucker	f66b6187f8	Introduced use_ontology_unchecked (for internal use only).	2023-02-21 22:34:30 +00:00
Achim D. Brucker	3e41871b17	Added bib file.	2023-02-21 08:11:35 +00:00
Achim D. Brucker	47fa3590aa	Moved CENELEC ontology (and its LaTeX style) to the session Isabelle_DOF-Ontologies.	2023-02-20 23:34:54 +00:00
Achim D. Brucker	30eb47d80c	Fixed section structure.	2023-02-19 22:26:18 +00:00