Standardbranch

main 55e42142fa · Spell Checking. · Aktualisiert 2024-04-26 01:32:25 +00:00

ZIP  TAR.GZ

Branches

Suchen

afp_resubmission d9ba72a222 · Initial commit. · Aktualisiert 2024-04-26 01:37:29 +00:00    adbrucker	0 2	Vergleichen	ZIP  TAR.GZ
isabelle_nightly aa6b3a16aa · Merge branch 'main' into isabelle_nightly · Aktualisiert 2024-02-25 12:18:08 +00:00    adbrucker	41 10	Vergleichen	ZIP  TAR.GZ
sml-latex-generation-for-chapter-section 0ce9e6f2d0 · Implement chapter*, section*, etc. latex generation in SML · Aktualisiert 2023-09-22 06:54:10 +00:00	57 1	Vergleichen	ZIP  TAR.GZ
common-criteria 244d70896f · Merge branch 'main' into test-rebase2 · Aktualisiert 2023-02-20 11:20:07 +00:00	422 16	Vergleichen	ZIP  TAR.GZ
ARINC661 c39e06892c · Final Disccsion with idir Nico · Aktualisiert 2022-07-29 09:36:13 +00:00	571 8	Vergleichen	ZIP  TAR.GZ
ICFEM-2022 86a70ffbba · exceptional storage of submission version · Aktualisiert 2022-06-30 10:45:38 +00:00	651 173	Vergleichen	ZIP  TAR.GZ
update-cenelec a82f316997 · Implement CENELEC Table A.1 · Aktualisiert 2022-05-27 17:44:04 +00:00	639 1	Vergleichen	ZIP  TAR.GZ
2021-ITP-PMTI 7f02cbbde4 · First corrections inrelation to the reviews · Aktualisiert 2022-04-05 14:32:46 +00:00	674 102	Vergleichen	ZIP  TAR.GZ
v1.2.x/Isabelle2021 97bfdcff58 · Re-added simple Changelog file. · Aktualisiert 2022-03-26 17:50:46 +00:00	749 0	Enthalten	ZIP  TAR.GZ
v1.1.x/Isabelle2021 e319e4d810 · Preparation of 1.1.0/Isabelle2021 release. · Aktualisiert 2021-03-20 23:15:16 +00:00	858 1	Vergleichen	ZIP  TAR.GZ
v1.1.x/Isabelle2020 922da1aa21 · Preparation of 1.1.0/Isabelle2020 release. · Aktualisiert 2021-03-20 22:30:17 +00:00	870 1	Vergleichen	ZIP  TAR.GZ
v1.0.x/Isabelle2019 d0b183af79 · Improved docker run command. · Aktualisiert 2019-08-18 17:02:54 +00:00	1135 0	Enthalten	ZIP  TAR.GZ
Unreleased/Isabelle2018 2341879f06 · Merge branch 'master' into Unreleased/Isabelle2018 · Aktualisiert 2019-08-14 19:04:49 +00:00	1196 13	Vergleichen	ZIP  TAR.GZ