Achim D. Brucker adbrucker
1 Followers · 1 Following
Repositories
16
 Projects Packages Public Activity Starred Repositories
adbrucker pushed to Isabelle_DOF-Zenodo-2025 at Isabelle_DOF/Isabelle_DOF 2025-05-20 05:45:34 +00:00
d9457d4fde Fixed Isabelle version in heading.
adbrucker pushed to Isabelle_DOF-Zenodo-2025 at Isabelle_DOF/Isabelle_DOF 2025-04-24 07:20:05 +00:00
98ecc2ca28 Initial commit.
540a9443ab Added readme to top-level.
1074b64347 Spell checking.
Compare 3 commits »
adbrucker pushed to Isabelle_DOF-Zenodo-2024 at Isabelle_DOF/Isabelle_DOF 2025-04-24 07:16:54 +00:00
1fcbd813f5 Initial commit.
9954c35dd5 Added readme to top-level.
0244d64e5e Spell checking.
Compare 3 commits »
adbrucker pushed to Isabelle_DOF-Zenodo-2024 at Isabelle_DOF/Isabelle_DOF 2025-03-28 02:32:33 +00:00
d354391849 Fixed Isabelle version and added direct download-link for AFP (for Isabelle 2024).
adbrucker pushed to Isabelle_DOF-Zenodo-2025 at Isabelle_DOF/Isabelle_DOF 2025-03-28 02:29:37 +00:00
cd1a28dba8 Fixed Isabelle version.
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2025-03-17 04:21:44 +00:00
2fb0564254 Merge branch 'main' into isabelle_nightly
42114d4200 Updated publications.
90d7eb473d Documented switch to Isabelle 2025.
36ed8aeef2 Re-added install-afp script (unsupported)!
Compare 4 commits »
adbrucker pushed to Isabelle_DOF-Zenodo-2024 at Isabelle_DOF/Isabelle_DOF 2025-03-17 04:07:34 +00:00
2dd122d58a Include document builder sources from AFP.
adbrucker pushed to Isabelle_DOF-Zenodo-2025 at Isabelle_DOF/Isabelle_DOF 2025-03-17 04:02:55 +00:00
aa696f8185 Include document builder sources from AFP.
adbrucker pushed to Isabelle_DOF-Zenodo-2025 at Isabelle_DOF/Isabelle_DOF 2025-03-16 20:14:31 +00:00
40b10493f2 Removed scaffold.
adbrucker created branch Isabelle_DOF-Zenodo-2025 in Isabelle_DOF/Isabelle_DOF 2025-03-16 19:03:58 +00:00
adbrucker pushed to Isabelle_DOF-Zenodo-2025 at Isabelle_DOF/Isabelle_DOF 2025-03-16 19:03:58 +00:00
870266868e Updated Isabelle version and removed scala builds from AFP.
4203bb8768 Restructured archive.
34d3fc5895 Cleanup.
Compare 3 commits »
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2025-03-16 18:13:30 +00:00
42114d4200 Updated publications.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2025-03-16 18:10:39 +00:00
90d7eb473d Documented switch to Isabelle 2025.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2025-03-16 18:08:10 +00:00
36ed8aeef2 Re-added install-afp script (unsupported)!
b7ca17ea35 Updated AFP version for Isabelle 2025.
66daa58bea Merge branch 'isabelle_nightly' into Isabelle2025
a59d0cd157 Update to latest development version of Isabelle.
e018812ed2 Merge.
Compare 11 commits »
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2025-03-16 17:44:42 +00:00
3840b47908 Updated version to reflect future Isabelle 2025-1 release.
b7ca17ea35 Updated AFP version for Isabelle 2025.
66daa58bea Merge branch 'isabelle_nightly' into Isabelle2025
e018812ed2 Merge.
323580adc4 Minor version tuning.
Compare 5 commits »
adbrucker pushed to Isabelle2025 at Isabelle_DOF/Isabelle_DOF 2025-03-16 17:41:01 +00:00
b7ca17ea35 Updated AFP version for Isabelle 2025.
adbrucker pushed to Isabelle2025 at Isabelle_DOF/Isabelle_DOF 2025-03-13 17:57:21 +00:00
66daa58bea Merge branch 'isabelle_nightly' into Isabelle2025
a59d0cd157 Update to latest development version of Isabelle.
Compare 2 commits »
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2025-03-13 17:56:55 +00:00
a59d0cd157 Update to latest development version of Isabelle.
adbrucker created branch Isabelle2025 in Isabelle_DOF/Isabelle_DOF 2025-03-13 14:46:39 +00:00
adbrucker pushed to Isabelle2025 at Isabelle_DOF/Isabelle_DOF 2025-03-13 14:46:39 +00:00
e018812ed2 Merge.