Nicolas Méric
9812bc0517
Use binding for instances name
ci/woodpecker/push/build Pipeline failed
Details
2023-07-20 10:11:48 +02:00
Achim D. Brucker
49faed4faf
Disabled PDF generation for currently not supported references.
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-15 17:55:52 +02:00
Burkhart Wolff
8bdd40fc20
basic problems on multiple subfloats content solved
2023-05-11 16:21:37 +02:00
Burkhart Wolff
36740bf72b
debugging fig_content
ci/woodpecker/push/build Pipeline failed
Details
2023-05-11 11:48:05 +02:00
Burkhart Wolff
b8da1a304a
Improved fig_content, fix backend bugs in COL_Test
ci/woodpecker/push/build Pipeline failed
Details
2023-05-10 18:31:27 +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
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
Burkhart Wolff
3b446c874d
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
2023-03-21 14:33:25 +01:00
Burkhart Wolff
4de23de5ee
...
2023-03-21 14:33:21 +01:00
Achim D. Brucker
5292154687
Converted é to \'e to work around the lack of first-class unicode support.
ci/woodpecker/push/build Pipeline was successful
Details
2023-03-15 12:15:08 +00:00
Burkhart Wolff
ef3eee03c9
extended testkit by declare tester, added consistency proofs for OntoMatching.
ci/woodpecker/push/build Pipeline was successful
Details
2023-03-04 13:55:32 +01:00
Burkhart Wolff
bf4c3d618e
ground for revision of tests: TestKit, Conceptual, Latex-tests
2023-03-01 20:47:28 +01:00