Isabelle_DOF/Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
main
Isabelle_DOF/upstream_afp
History
Burkhart Wolff fc3bb91d1a
Some checks are pending
ci/woodpecker/push/build Pipeline is pending
Details
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
2025-03-31 19:34:46 +02:00
..
Isabelle_DOF Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF 2025-03-31 19:34:46 +02:00
ROOTS Update to Isabelle 2024. 2024-05-27 09:30:01 +01:00