Achim D. Brucker adbrucker
1 Followers · 1 Following
Repositories
16
 Projects Packages Public Activity Starred Repositories
adbrucker pushed to afp_resubmission at Isabelle_DOF/Isabelle_DOF 2024-04-26 06:01:09 +00:00
6ad8391cc1 Merge branch 'main' into afp_resubmission
9feeb63665 Linting ...
Compare 2 commits »
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-04-26 06:00:52 +00:00
9feeb63665 Linting ...
adbrucker pushed to afp_resubmission at Isabelle_DOF/Isabelle_DOF 2024-04-26 05:09:23 +00:00
e01cc2d019 Added 'fake' root.tex to satisfy AFP submission checks.
2425fa4093 Cleanup.
Compare 2 commits »
adbrucker pushed to afp_resubmission at Isabelle_DOF/Isabelle_DOF 2024-04-26 01:42:52 +00:00
d9ba72a222 Initial commit.
adbrucker pushed to afp_resubmission at Isabelle_DOF/Isabelle_DOF 2024-04-26 01:35:05 +00:00
cd58f6b056 Removed all parts that will not be submitted to the AFP.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-04-26 01:32:43 +00:00
55e42142fa Spell Checking.
adbrucker pushed to afp_resubmission at Isabelle_DOF/Isabelle_DOF 2024-04-26 01:32:30 +00:00
55e42142fa Spell Checking.
adbrucker pushed to afp_resubmission at Isabelle_DOF/Isabelle_DOF 2024-04-26 00:13:31 +00:00
26774fc053 Merge branch 'afp_resubmission' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF into afp_resubmission
f61e107515 Updated scala parts to Isabelle 2023.
Compare 2 commits »
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-04-26 00:13:10 +00:00
26774fc053 Merge branch 'afp_resubmission' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF into afp_resubmission
7d6048bf64 Merge branch 'afp_resubmission' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF into afp_resubmission
231892cd23 ...
c945da75fa Proof reading
b554f20a5c Move onto_morphism command to isabelle dof core
Compare 17 commits »
adbrucker pushed to afp_resubmission at Isabelle_DOF/Isabelle_DOF 2024-04-02 11:38:22 +00:00
f61e107515 Updated scala parts to Isabelle 2023.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-04-02 07:34:22 +00:00
f0c379a5d2 Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
5d5eef1a46 Added svglov3.clo.
Compare 2 commits »
adbrucker created branch afp_resubmission in Isabelle_DOF/Isabelle_DOF 2024-04-02 07:06:54 +00:00
adbrucker pushed to afp_resubmission at Isabelle_DOF/Isabelle_DOF 2024-04-02 07:06:54 +00:00
adbrucker pushed tag afp_submission to Isabelle_DOF/Isabelle_DOF 2024-04-02 07:05:55 +00:00
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-02-29 17:36:35 +00:00
aa0a2c5f6a Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
a79a3f539d Added basic author and title information.
ab05663738 Added stub for \inst{}.
Compare 3 commits »
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2024-02-25 12:21:08 +00:00
aa6b3a16aa Merge branch 'main' into isabelle_nightly
f44b5458f2 Enabled session Isabelle_DOF-Examples-Templates.
c4875da7cb Removed (non-working) support for eptcs.
a286e4b1bc Improved dof_mkroot setup and minor LaTeX fixes.
341523b223 Sessions for testing templates.
Compare 5 commits »
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-02-25 11:52:29 +00:00
f44b5458f2 Enabled session Isabelle_DOF-Examples-Templates.
c4875da7cb Removed (non-working) support for eptcs.
a286e4b1bc Improved dof_mkroot setup and minor LaTeX fixes.
341523b223 Sessions for testing templates.
Compare 4 commits »
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2024-02-15 06:56:04 +00:00
add058886f Updated API.
566c97b41c Avoid catch-all.
Compare 2 commits »
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2024-02-15 06:25:12 +00:00
ed2a15db5d Updated API.
38985a1b47 Merge branch 'main' into isabelle_nightly
207029e70e Enable term anti-quotations in class invariants
645a3edcec Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
5a760b9e2c Set default options for babel.
Compare 7 commits »
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-02-08 19:24:05 +00:00
645a3edcec Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
5a760b9e2c Set default options for babel.
572ec2d0bb Use providecommand instead of usecommand to preserve already existing definition.
Compare 3 commits »