- Exeter, UK
- https://brucker.ch
-
Cybersecurity Prof at Uni Exeter, UK. Former Security Testing Strategist at SAP SE. https://logicalhacking.com
- Joined on
2016-07-24
Block a user
564fd8feda
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
8cc015821b
Updated AFP date.
79ee10c4d6
Merge branch 'main' into isabelle_nightly
3d9fcc99ab
Fixed scala build path.
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).
adbrucker
pushed tag Unreleased/Isabelle2023 to Isabelle_DOF/Isabelle_DOF
2024-05-30 09:47:16 +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).
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).
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
4e7b226059
Fixed URL for repository and fixed wrong name for branch working on Isabelle's development version.