Compare commits
merge into: Isabelle_DOF:main
Isabelle_DOF:main
Isabelle_DOF:isabelle_nightly
Isabelle_DOF:sml-latex-generation-for-chapter-section
Isabelle_DOF:common-criteria
Isabelle_DOF:ARINC661
Isabelle_DOF:ICFEM-2022
Isabelle_DOF:update-cenelec
Isabelle_DOF:2021-ITP-PMTI
Isabelle_DOF:v1.2.x/Isabelle2021
Isabelle_DOF:v1.1.x/Isabelle2021
Isabelle_DOF:v1.1.x/Isabelle2020
Isabelle_DOF:v1.0.x/Isabelle2019
Isabelle_DOF:Unreleased/Isabelle2018
pierre.derathe:common-criteria
pierre.derathe:metalogic-mapping-2
pierre.derathe:metalogic-mapping
pierre.derathe:main
pierre.derathe:Isabelle_dev
pierre.derathe:ARINC661
pierre.derathe:ICFEM-2022
pierre.derathe:origin/main
pierre.derathe:update-cenelec
pierre.derathe:2021-ITP-PMTI
pierre.derathe:v1.2.x/Isabelle2021
pierre.derathe:v1.1.x/Isabelle2021
pierre.derathe:v1.1.x/Isabelle2020
pierre.derathe:v1.0.x/Isabelle2019
pierre.derathe:Unreleased/Isabelle2018
Isabelle_DOF:v1.3.0/Isabelle2021-1
Isabelle_DOF:v1.2.0/Isabelle2021
Isabelle_DOF:2021-ITP-PMTI-rejected
Isabelle_DOF:v1.1.0/Isabelle2021
Isabelle_DOF:v1.1.0/Isabelle2020
Isabelle_DOF:v1.0.0/Isabelle2019
Isabelle_DOF:Unreleased/Isabelle2018
Isabelle_DOF:Unreleased/Isabelle2017
pierre.derathe:v1.3.0/Isabelle2021-1
pierre.derathe:v1.2.0/Isabelle2021
pierre.derathe:2021-ITP-PMTI-rejected
pierre.derathe:v1.1.0/Isabelle2021
pierre.derathe:v1.1.0/Isabelle2020
pierre.derathe:v1.0.0/Isabelle2019
pierre.derathe:Unreleased/Isabelle2018
pierre.derathe:Unreleased/Isabelle2017
pull from: pierre.derathe:main
pierre.derathe:common-criteria
pierre.derathe:metalogic-mapping-2
pierre.derathe:metalogic-mapping
pierre.derathe:main
pierre.derathe:Isabelle_dev
pierre.derathe:ARINC661
pierre.derathe:ICFEM-2022
pierre.derathe:origin/main
pierre.derathe:update-cenelec
pierre.derathe:2021-ITP-PMTI
pierre.derathe:v1.2.x/Isabelle2021
pierre.derathe:v1.1.x/Isabelle2021
pierre.derathe:v1.1.x/Isabelle2020
pierre.derathe:v1.0.x/Isabelle2019
pierre.derathe:Unreleased/Isabelle2018
Isabelle_DOF:main
Isabelle_DOF:isabelle_nightly
Isabelle_DOF:sml-latex-generation-for-chapter-section
Isabelle_DOF:common-criteria
Isabelle_DOF:ARINC661
Isabelle_DOF:ICFEM-2022
Isabelle_DOF:update-cenelec
Isabelle_DOF:2021-ITP-PMTI
Isabelle_DOF:v1.2.x/Isabelle2021
Isabelle_DOF:v1.1.x/Isabelle2021
Isabelle_DOF:v1.1.x/Isabelle2020
Isabelle_DOF:v1.0.x/Isabelle2019
Isabelle_DOF:Unreleased/Isabelle2018
pierre.derathe:v1.3.0/Isabelle2021-1
pierre.derathe:v1.2.0/Isabelle2021
pierre.derathe:2021-ITP-PMTI-rejected
pierre.derathe:v1.1.0/Isabelle2021
pierre.derathe:v1.1.0/Isabelle2020
pierre.derathe:v1.0.0/Isabelle2019
pierre.derathe:Unreleased/Isabelle2018
pierre.derathe:Unreleased/Isabelle2017
Isabelle_DOF:v1.3.0/Isabelle2021-1
Isabelle_DOF:v1.2.0/Isabelle2021
Isabelle_DOF:2021-ITP-PMTI-rejected
Isabelle_DOF:v1.1.0/Isabelle2021
Isabelle_DOF:v1.1.0/Isabelle2020
Isabelle_DOF:v1.0.0/Isabelle2019
Isabelle_DOF:Unreleased/Isabelle2018
Isabelle_DOF:Unreleased/Isabelle2017
These branches are equal. There is no need to create a pull request.