.. |
document
|
Added PDF document generation (Fixes: #22).
|
2023-02-22 09:52:05 +00:00 |
AssnsLemmaThmEtc.thy
|
Disabled PDF generation for currently not supported references.
|
2023-05-15 17:55:52 +02:00 |
Attributes.thy
|
Restrict RegExpInterface notations to onto class definition
|
2023-05-16 12:27:19 +02:00 |
COL_Test.thy
|
Disabled PDF generation for currently not supported references.
|
2023-05-15 17:55:52 +02:00 |
Cenelec_Test.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
Concept_Example_Low_Level_Invariant.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
Concept_High_Level_Invariants.thy
|
Implement long names for classes term-antiquotataions
|
2023-05-11 19:02:55 +02:00 |
Concept_MonitorTest1.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
Concept_MonitorTest2.thy
|
Implement long names for classes term-antiquotataions
|
2023-05-11 19:02:55 +02:00 |
Concept_OntoReferencing.thy
|
Disabled PDF generation for currently not supported references.
|
2023-05-15 17:55:52 +02:00 |
Concept_TermAntiquotations.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
Concept_TermEvaluation.thy
|
Document disable_assert_evaluation theory atttribute in the manual
|
2023-05-24 14:17:16 +02:00 |
Isabelle_DOF_Unit_Tests_document.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
Latex_Tests.thy
|
Disabled PDF generation for currently not supported references.
|
2023-05-15 17:55:52 +02:00 |
Ontology_Matching_Example.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
OutOfOrderPresntn.thy
|
Global remove of side-by-side-figures, fixing various bugs - Caveat: no correspondance figure* - class figure.
|
2023-05-12 17:04:30 +02:00 |
ROOT
|
reactivated Cenelec_Test
|
2023-05-12 17:17:57 +02:00 |
TestKit.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |