 Achim D. Brucker
|
aa6b3a16aa
|
Merge branch 'main' into isabelle_nightly
|
2024-02-25 12:18:08 +00:00 |
|
Achim D. Brucker
|
f44b5458f2
|
Enabled session Isabelle_DOF-Examples-Templates.
|
2024-02-25 11:46:12 +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
|
341523b223
|
Sessions for testing templates.
|
2024-02-25 11:38:23 +00:00 |
|
Achim D. Brucker
|
add058886f
|
Updated API.
|
2024-02-15 06:55:56 +00:00 |
|
Achim D. Brucker
|
566c97b41c
|
Avoid catch-all.
|
2024-02-15 06:47:49 +00:00 |
|
Achim D. Brucker
|
ed2a15db5d
|
Updated API.
|
2024-02-15 06:25:05 +00:00 |
|
Achim D. Brucker
|
38985a1b47
|
Merge branch 'main' into isabelle_nightly
|
2024-02-15 06:11:50 +00:00 |
Nicolas Méric
|
207029e70e
|
Enable term anti-quotations in class invariants
|
2024-02-14 11:15:13 +01:00 |
|
Achim D. Brucker
|
645a3edcec
|
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
|
2024-02-08 19:23:56 +00:00 |
|
Achim D. Brucker
|
5a760b9e2c
|
Set default options for babel.
|
2024-02-08 19:23:46 +00:00 |
|
Achim D. Brucker
|
572ec2d0bb
|
Use providecommand instead of usecommand to preserve already existing definition.
|
2024-02-08 19:20:09 +00:00 |
|
Nicolas Méric
|
d59dabaf7c
|
Cleanup
|
2024-02-06 11:01:16 +01:00 |
|
Achim D. Brucker
|
f615eb6e4f
|
Removed catch all exception handler obstruction actual problem.
|
2024-01-01 05:15:16 +00:00 |
|
Achim D. Brucker
|
415c9efdfa
|
Merge branch 'main' into isabelle_nightly
|
2024-01-01 04:41:26 +00:00 |
|
Nicolas Méric
|
e78a114879
|
Fix typo
ci/woodpecker/push/build Pipeline failed
Details
|
2023-11-27 12:01:52 +01:00 |
Burkhart Wolff
|
443d63f3b5
|
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline failed
Details
|
2023-11-25 17:06:39 +01:00 |
|
Nicolas Méric
|
331fcd07f0
|
Update invariants checking
ci/woodpecker/push/build Pipeline failed
Details
Make invariants checking compatible with namespaces
and the new invariants implementation
|
2023-11-20 16:57:01 +01:00 |
|
Nicolas Méric
|
5dc20889a8
|
Partially implement polymorphic classes support for class invariants
ci/woodpecker/push/build Pipeline failed
Details
|
2023-11-08 08:47:54 +01:00 |
|
Burkhart Wolff
|
e2b3184a77
|
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2023-09-21 04:58:34 +02:00 |
|
Nicolas Méric
|
7b54bf5ca5
|
Cleanup
ci/woodpecker/push/build Pipeline failed
Details
|
2023-09-20 15:56:50 +02:00 |
|
Nicolas Méric
|
baa36b10c1
|
Cleanup
ci/woodpecker/push/build Pipeline failed
Details
|
2023-09-20 15:00:43 +02:00 |
|
Nicolas Méric
|
c57ce6292b
|
Update output type name for latex refs
ci/woodpecker/push/build Pipeline failed
Details
|
2023-09-19 17:03:00 +02:00 |
|
Achim D. Brucker
|
b9f3a9eb7e
|
Documented Isabelle version (night build / development version).
ci/woodpecker/push/build Pipeline failed
Details
|
2023-09-14 06:34:46 +01:00 |
|
Achim D. Brucker
|
caeef3121a
|
Merge branch 'main' into isabelle_nightly
|
2023-09-14 06:33:54 +01:00 |
|
Achim D. Brucker
|
b698572146
|
Documented Isabelle version (2023).
ci/woodpecker/push/build Pipeline failed
Details
|
2023-09-14 06:33:28 +01:00 |
|
Achim D. Brucker
|
f2e102cf0f
|
Revert "Test with Isabelle 2023." - switching back to Isabelle nightly.
ci/woodpecker/push/build Pipeline failed
Details
This reverts commit e12abadc94.
|
2023-09-14 06:31:12 +01:00 |
|
Achim D. Brucker
|
e12abadc94
|
Test with Isabelle 2023.
ci/woodpecker/push/build Pipeline failed
Details
|
2023-09-14 06:29:01 +01:00 |
|
Achim D. Brucker
|
792fd60055
|
Merge branch 'main' into isabelle_nightly
ci/woodpecker/push/build Pipeline failed
Details
|
2023-09-12 18:58:58 +01:00 |
|
Nicolas Méric
|
ec7297f1d3
|
Update instances list term antiquotation
ci/woodpecker/push/build Pipeline failed
Details
Make instances list term antiquotation compatible with
polymorphic classes
|
2023-09-11 09:07:10 +02:00 |
|
Achim D. Brucker
|
e4ee3ff240
|
Merge branch 'main' into isabelle_nightly
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-08-31 08:27:53 +01:00 |
|
Achim D. Brucker
|
4393042f2c
|
Merge.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-08-29 08:09:28 +01:00 |
|
Achim D. Brucker
|
fef7b9d60b
|
Merge commit 'cef4086029' into isabelle_nightly
ci/woodpecker/push/build Pipeline failed
Details
|
2023-08-29 06:40:37 +01:00 |
|
Achim D. Brucker
|
ab7d695a77
|
Merge.
ci/woodpecker/push/build Pipeline failed
Details
|
2023-08-29 06:37:33 +01:00 |
|
Achim D. Brucker
|
c063287947
|
Isabelle API update.
|
2023-08-29 06:11:32 +01:00 |
|
Achim D. Brucker
|
342984df3b
|
Converted def into newcommand.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-08-04 07:01:42 +01:00 |
|
Achim D. Brucker
|
5a8e79fb7e
|
Moved default value for title into template, as some LaTeX classes do not allow for a pre-set title.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-08-04 04:37:14 +01:00 |
|
Achim D. Brucker
|
d7f9f10ef1
|
Merge commit 'b4f1b8c32177ce5af37357fc4a7ab0df22a497d6' into isabelle_nightly
ci/woodpecker/push/build Pipeline failed
Details
|
2023-08-03 03:41:43 +01:00 |
|
Achim D. Brucker
|
0a3259fbca
|
Merge commit '59b082d09d55d55ef6c6f8bd8e821122dddf3574' into isabelle_nightly
|
2023-08-03 03:35:29 +01:00 |
|
Nicolas Méric
|
ca7cdec9b4
|
Fix typos
ci/woodpecker/push/build Pipeline is pending
Details
|
2023-07-20 16:31:08 +02:00 |
|
Nicolas Méric
|
43aad517b9
|
Add basic explanation for lemma*, etc.
ci/woodpecker/push/build Pipeline failed
Details
Add basic explanation how to use lemma*, etc.
with term antiquotations of polymorphic class instances
|
2023-07-20 16:25:25 +02:00 |
|
Nicolas Méric
|
8d6c8929e2
|
Fix typos
ci/woodpecker/push/build Pipeline is pending
Details
|
2023-07-20 16:14:25 +02:00 |
|
Nicolas Méric
|
b447a480fb
|
Fix manual latex compilation
ci/woodpecker/push/build Pipeline failed
Details
|
2023-07-20 15:04:39 +02:00 |
|
Nicolas Méric
|
a78397693e
|
Update instances term antiquotation in manual
ci/woodpecker/push/build Pipeline failed
Details
|
2023-07-20 14:32:03 +02:00 |
|
Nicolas Méric
|
9812bc0517
|
Use binding for instances name
ci/woodpecker/push/build Pipeline failed
Details
|
2023-07-20 10:11:48 +02:00 |
|
Nicolas Méric
|
b364880bfc
|
Polymorphic classes first draft
|
2023-07-19 18:58:04 +02:00 |
|
Burkhart Wolff
|
d835665b6b
|
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2023-07-19 12:54:57 +02:00 |
|
Burkhart Wolff
|
1a8cdb8014
|
...
|
2023-07-19 12:48:42 +02:00 |
|
Nicolas Méric
|
5a7cbf2da5
|
Add file checking in figure_content
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-06-20 11:05:11 +02:00 |