Commit Graph

Select branches

Hide Pull Requests

2021-ITP-PMTI

ARINC661

ICFEM-2022

Unreleased/Isabelle2018

afp_resubmission

common-criteria

isabelle_nightly

main

sml-latex-generation-for-chapter-section

update-cenelec

v1.0.x/Isabelle2019

v1.1.x/Isabelle2020

v1.1.x/Isabelle2021

v1.2.x/Isabelle2021

#1

#17

#2

#3

#30

#4

#5

#6

#7

#8

2021-ITP-PMTI-rejected

Unreleased/Isabelle2017

Unreleased/Isabelle2018

Unreleased/Isabelle2022

afp_submission

v1.0.0/Isabelle2019

v1.1.0/Isabelle2020

v1.1.0/Isabelle2021

v1.2.0/Isabelle2021

v1.3.0/Isabelle2021-1

Mono Color

• e29ee3789d Kind of current status. Crudely carved out of an other repository - not sure that this works. Burkhart Wolff 2018-02-07 19:44:27 +0100
• 5bb766e131 initial commit HOL-OCL 2018-02-07 18:43:15 +0100