預設分支

main b651116af3 · nicer presentation of proofs, closer to automation. · 更新於 2024-04-05 13:23:33 +00:00

ZIP  TAR.GZ

分支

搜尋

afp_resubmission 7d6048bf64 · Merge branch 'afp_resubmission' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF into afp_resubmission · 更新於 2024-04-16 09:11:07 +00:00    wolff	0 15	比較	ZIP  TAR.GZ
isabelle_nightly aa6b3a16aa · Merge branch 'main' into isabelle_nightly · 更新於 2024-02-25 12:18:08 +00:00    adbrucker	23 10	比較	ZIP  TAR.GZ
sml-latex-generation-for-chapter-section 0ce9e6f2d0 · Implement chapter*, section*, etc. latex generation in SML · 更新於 2023-09-22 06:54:10 +00:00	39 1	比較	ZIP  TAR.GZ
common-criteria 244d70896f · Merge branch 'main' into test-rebase2 · 更新於 2023-02-20 11:20:07 +00:00	404 16	比較	ZIP  TAR.GZ
ARINC661 c39e06892c · Final Disccsion with idir Nico · 更新於 2022-07-29 09:36:13 +00:00	553 8	比較	ZIP  TAR.GZ
ICFEM-2022 86a70ffbba · exceptional storage of submission version · 更新於 2022-06-30 10:45:38 +00:00	633 173	比較	ZIP  TAR.GZ
update-cenelec a82f316997 · Implement CENELEC Table A.1 · 更新於 2022-05-27 17:44:04 +00:00	621 1	比較	ZIP  TAR.GZ
2021-ITP-PMTI 7f02cbbde4 · First corrections inrelation to the reviews · 更新於 2022-04-05 14:32:46 +00:00	656 102	比較	ZIP  TAR.GZ
v1.2.x/Isabelle2021 97bfdcff58 · Re-added simple Changelog file. · 更新於 2022-03-26 17:50:46 +00:00	731 0	包含	ZIP  TAR.GZ
v1.1.x/Isabelle2021 e319e4d810 · Preparation of 1.1.0/Isabelle2021 release. · 更新於 2021-03-20 23:15:16 +00:00	840 1	比較	ZIP  TAR.GZ
v1.1.x/Isabelle2020 922da1aa21 · Preparation of 1.1.0/Isabelle2020 release. · 更新於 2021-03-20 22:30:17 +00:00	852 1	比較	ZIP  TAR.GZ
v1.0.x/Isabelle2019 d0b183af79 · Improved docker run command. · 更新於 2019-08-18 17:02:54 +00:00	1117 0	包含	ZIP  TAR.GZ
Unreleased/Isabelle2018 2341879f06 · Merge branch 'master' into Unreleased/Isabelle2018 · 更新於 2019-08-14 19:04:49 +00:00	1178 13	比較	ZIP  TAR.GZ