Achim D. Brucker adbrucker
adbrucker pushed to master at BrowserSecurity/DVGM 2024-09-07 17:14:17 +00:00
fc9ba1ddbc Added instructions to populate database.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-07-16 13:31:59 +00:00
2e7a48f21f Removed AFP directory, which is not available in this repository.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-07-16 08:59:04 +00:00
d4584d8061 Fixed installation instructions.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-07-16 08:47:55 +00:00
564fd8feda Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
8cc015821b Updated AFP date.
Compare 2 commits »
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-07-16 06:48:14 +00:00
7490c8d436 Ensure that istnall-afp is executed in the local directory.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-06-17 19:47:32 +00:00
cdffd1358e Fixed outdated reference to Isabelle 2023.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-06-15 19:37:26 +00:00
8171550847 Do not provide authand commands already defined by LIPICS.
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2024-05-30 09:48:04 +00:00
79ee10c4d6 Merge branch 'main' into isabelle_nightly
3d9fcc99ab Fixed scala build path.
Compare 2 commits »
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-05-30 09:47:23 +00:00
3d9fcc99ab Fixed scala build path.
ddb780a529 Re-added image source files.
8283d2311c Update to Isabelle 2024.
46e292d5d0 Merge branch 'upstream_afp_release' into Isabelle2024
c0996d4b1c Imported AFP release for Isabelle 2024 (afp-2024-05-26).
Compare 18 commits »
adbrucker pushed tag Unreleased/Isabelle2023 to Isabelle_DOF/Isabelle_DOF 2024-05-30 09:47:16 +00:00
adbrucker pushed to Isabelle2024 at Isabelle_DOF/Isabelle_DOF 2024-05-27 11:22:49 +00:00
3d9fcc99ab Fixed scala build path.
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2024-05-27 10:48:37 +00:00
b1ac9a4202 Update to document need for development version of Isabelle.
ddb780a529 Re-added image source files.
8283d2311c Update to Isabelle 2024.
46e292d5d0 Merge branch 'upstream_afp_release' into Isabelle2024
c0996d4b1c Imported AFP release for Isabelle 2024 (afp-2024-05-26).
Compare 5 commits »
adbrucker created branch Isabelle2024 in Isabelle_DOF/Isabelle_DOF 2024-05-27 08:35:04 +00:00
adbrucker pushed to Isabelle2024 at Isabelle_DOF/Isabelle_DOF 2024-05-27 08:35:04 +00:00
ddb780a529 Re-added image source files.
8283d2311c Update to Isabelle 2024.
46e292d5d0 Merge branch 'upstream_afp_release' into Isabelle2024
c0996d4b1c Imported AFP release for Isabelle 2024 (afp-2024-05-26).
Compare 4 commits »
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2024-05-26 20:25:08 +00:00
8bbde674b9 Updated API.
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2024-05-16 20:53:01 +00:00
703cdbe175 Merge branch 'main' into isabelle_nightly
f51f864dbb Fixed DOIs.
Compare 2 commits »
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-05-16 20:52:48 +00:00
f51f864dbb Fixed DOIs.
adbrucker pushed to isabelle_nightly at Isabelle_DOF/Isabelle_DOF 2024-05-15 20:07:36 +00:00
0b7f125abf Merge branch 'main' into isabelle_nightly
4e7b226059 Fixed URL for repository and fixed wrong name for branch working on Isabelle's development version.
9feeb63665 Linting ...
55e42142fa Spell Checking.
26774fc053 Merge branch 'afp_resubmission' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF into afp_resubmission
Compare 44 commits »
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2024-05-15 20:06:29 +00:00
4e7b226059 Fixed URL for repository and fixed wrong name for branch working on Isabelle's development version.
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 »