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
ci/woodpecker/push/build Pipeline failed
Details
|
2023-06-15 16:07:08 +02:00 |
Burkhart Wolff
|
d0cd28a45c
|
eliminated side_by_side figure, actualized refman.
ci/woodpecker/push/build Pipeline failed
Details
|
2023-05-14 17:35:00 +02:00 |
Burkhart Wolff
|
514ebee17c
|
pass on new figure implemntation
|
2023-05-12 15:11:37 +02:00 |
Burkhart Wolff
|
50da7670cf
|
Some repair on the coherence problems in COL
|
2023-05-10 15:54:02 +02:00 |
Burkhart Wolff
|
0aa9f1ff25
|
renamed figure2 into float
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-05-10 12:37:29 +02:00 |
Burkhart Wolff
|
322d70ef69
|
deleting subparagraph (never used),orienting Example-I on figure2.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-05-09 16:15:47 +02:00 |
Burkhart Wolff
|
280feb8653
|
improved testKit, finished Concept_Example_Low_Level invariant
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-03-04 09:57:14 +01:00 |
Burkhart Wolff
|
0f3beb846e
|
Further advances in a more serious test setup
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-03-02 18:13:15 +01:00 |
Burkhart Wolff
|
bf4c3d618e
|
ground for revision of tests: TestKit, Conceptual, Latex-tests
|
2023-03-01 20:47:28 +01:00 |
Achim D. Brucker
|
85f115196b
|
Changed theory dependencies, allowing retirement of use_ontology_unchecked (fixes #25).
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-02-22 22:46:25 +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 |