Standardgren

291b2e258f · Use name spaced names for docitem_name text anti-quotation · Uppdaterad 2024-03-12 17:21:53 +00:00

Grenar

aa6b3a16aa · Merge branch 'main' into isabelle_nightly · Uppdaterad 2024-02-25 12:18:08 +00:00    adbrucker

10
10
sml-latex-generation-for-chapter-section
ci/woodpecker/push/build Pipeline failed Details

0ce9e6f2d0 · Implement chapter*, section*, etc. latex generation in SML · Uppdaterad 2023-09-22 06:54:10 +00:00

26
1
common-criteria
ci/woodpecker/push/build Pipeline failed Details

244d70896f · Merge branch 'main' into test-rebase2 · Uppdaterad 2023-02-20 11:20:07 +00:00

391
16
ARINC661
ci/woodpecker/push/build Pipeline was successful Details

c39e06892c · Final Disccsion with idir Nico · Uppdaterad 2022-07-29 09:36:13 +00:00

540
8
ICFEM-2022
ci/woodpecker/push/build Pipeline was successful Details

86a70ffbba · exceptional storage of submission version · Uppdaterad 2022-06-30 10:45:38 +00:00

620
173
update-cenelec
ci/woodpecker/push/build Pipeline was successful Details

a82f316997 · Implement CENELEC Table A.1 · Uppdaterad 2022-05-27 17:44:04 +00:00

608
1
2021-ITP-PMTI
ci/woodpecker/push/build Pipeline was successful Details

7f02cbbde4 · First corrections inrelation to the reviews · Uppdaterad 2022-04-05 14:32:46 +00:00

643
102
v1.2.x/Isabelle2021
ci/woodpecker/push/build Pipeline failed Details

97bfdcff58 · Re-added simple Changelog file. · Uppdaterad 2022-03-26 17:50:46 +00:00

718
0
Included

e319e4d810 · Preparation of 1.1.0/Isabelle2021 release. · Uppdaterad 2021-03-20 23:15:16 +00:00

827
1

922da1aa21 · Preparation of 1.1.0/Isabelle2020 release. · Uppdaterad 2021-03-20 22:30:17 +00:00

839
1
v1.0.x/Isabelle2019
Isabelle_DOF/Isabelle_DOF/v1.0.x%2FIsabelle2019 This commit looks good Details

d0b183af79 · Improved docker run command. · Uppdaterad 2019-08-18 17:02:54 +00:00

1104
0
Included
Unreleased/Isabelle2018
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good Details

2341879f06 · Merge branch 'master' into Unreleased/Isabelle2018 · Uppdaterad 2019-08-14 19:04:49 +00:00

1165
13