nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,927 Commits 32 Branches 0 Tags 62 MiB
Commit Graph

38 Commits

Author SHA1 Message Date
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
Achim D. Brucker 00eff9f819 Initial document setup. 2023-02-19 22:15:37 +00:00
Achim D. Brucker 97bf5aa1e3 Fine tuning. 2023-02-19 18:20:26 +00:00
Achim D. Brucker aaeb793a51 Moved ontologies into session Isabelle_DOF-Ontologies. 2023-02-19 16:41:16 +00:00