Default Branch

main 8513f7d267 · Update doc_class rails to match accepts clause · Updated 2023-01-17 08:01:55 +00:00

ZIP  TAR.GZ

Branches

Search

common-criteria 244d70896f · Merge branch 'main' into test-rebase2 · Updated 2023-02-20 11:20:07 +00:00	0 40	Compare	ZIP  TAR.GZ
metalogic-mapping-2 756f2b66f1 · Add very deep interpretation · Updated 2023-01-18 10:55:22 +00:00	0 1	Compare	ZIP  TAR.GZ
metalogic-mapping 5d2a0c1ff4 · Update file hierarchy with Bu proposition · Updated 2023-01-17 08:04:01 +00:00	0 5	Compare	ZIP  TAR.GZ
Isabelle_dev 4e47c38860 · Declared installation script as deprecated. · Updated 2022-10-31 19:20:34 +00:00	88 0	Included	ZIP  TAR.GZ
ARINC661 c39e06892c · Final Disccsion with idir Nico · Updated 2022-07-29 09:36:13 +00:00	125 8	Compare	ZIP  TAR.GZ
ICFEM-2022 86a70ffbba · exceptional storage of submission version · Updated 2022-06-30 10:45:38 +00:00	205 173	Compare	ZIP  TAR.GZ
origin/main 1939ffeea4 · Added missing line break declaration. · Updated 2022-06-29 22:33:29 +00:00	139 0	Included	ZIP  TAR.GZ
update-cenelec a82f316997 · Implement CENELEC Table A.1 · Updated 2022-05-27 17:44:04 +00:00	193 1	Compare	ZIP  TAR.GZ
2021-ITP-PMTI 7f02cbbde4 · First corrections inrelation to the reviews · Updated 2022-04-05 14:32:46 +00:00	228 102	Compare	ZIP  TAR.GZ
v1.2.x/Isabelle2021 97bfdcff58 · Re-added simple Changelog file. · Updated 2022-03-26 17:50:46 +00:00	303 0	Included	ZIP  TAR.GZ
v1.1.x/Isabelle2021 e319e4d810 · Preparation of 1.1.0/Isabelle2021 release. · Updated 2021-03-20 23:15:16 +00:00	412 1	Compare	ZIP  TAR.GZ
v1.1.x/Isabelle2020 922da1aa21 · Preparation of 1.1.0/Isabelle2020 release. · Updated 2021-03-20 22:30:17 +00:00	424 1	Compare	ZIP  TAR.GZ
v1.0.x/Isabelle2019 d0b183af79 · Improved docker run command. · Updated 2019-08-18 17:02:54 +00:00	689 0	Included	ZIP  TAR.GZ
Unreleased/Isabelle2018 2341879f06 · Merge branch 'master' into Unreleased/Isabelle2018 · Updated 2019-08-14 19:04:49 +00:00	750 13	Compare	ZIP  TAR.GZ