Compare commits
merge into: Isabelle_DOF:main
Isabelle_DOF:main
Isabelle_DOF:isabelle_nightly
Isabelle_DOF:Isabelle2024
Isabelle_DOF:afp_resubmission
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
nicolas.meric:markup-commands-in-locale
nicolas.meric:new-class-instances-generation
nicolas.meric:fun-with-term-antiquotations
nicolas.meric:string-attributes-as-input-source
nicolas.meric:tikzposter
nicolas.meric:parallelization
nicolas.meric:pass-on-manual
nicolas.meric:fix-scholarly-paper-latex-output
nicolas.meric:command-syntax-antiquotation
nicolas.meric:definition-star-command
nicolas.meric:metalogic-mapping-2
nicolas.meric:onto-class-name-space
nicolas.meric:invariants-name-space
nicolas.meric:monitor-name-space
nicolas.meric:scoped-docitems
nicolas.meric:instance-name-space
nicolas.meric:docitem-name-antiquotations
nicolas.meric:metalogic-mapping
nicolas.meric:implement-rejects-clause
nicolas.meric:enable-invariants-checking-everywhere
nicolas.meric:test-normalization
nicolas.meric:instance-value-normalization
nicolas.meric:main
nicolas.meric:2022-thesis-mid-term-document
nicolas.meric:update-cenelec
nicolas.meric:parametric-invariant
nicolas.meric:2022-phd-poster-test
nicolas.meric:avoid-reporting-duplication
nicolas.meric:ICFEM-2022
nicolas.meric:2021-ITP-PMTI
nicolas.meric:use-caml-case-convention-for-theories-naming
nicolas.meric:clean-up-isa-check-functions
nicolas.meric:fix-record-generation
Isabelle_DOF:Unreleased/Isabelle2023
Isabelle_DOF:Unreleased/Isabelle2022
Isabelle_DOF:afp_submission
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
nicolas.meric:v1.3.0/Isabelle2021-1
nicolas.meric:v1.2.0/Isabelle2021
nicolas.meric:2021-ITP-PMTI-rejected
nicolas.meric:v1.1.0/Isabelle2021
nicolas.meric:v1.1.0/Isabelle2020
nicolas.meric:v1.0.0/Isabelle2019
nicolas.meric:Unreleased/Isabelle2018
nicolas.meric:Unreleased/Isabelle2017
...
pull from: nicolas.meric:main
nicolas.meric:markup-commands-in-locale
nicolas.meric:new-class-instances-generation
nicolas.meric:fun-with-term-antiquotations
nicolas.meric:string-attributes-as-input-source
nicolas.meric:tikzposter
nicolas.meric:parallelization
nicolas.meric:pass-on-manual
nicolas.meric:fix-scholarly-paper-latex-output
nicolas.meric:command-syntax-antiquotation
nicolas.meric:definition-star-command
nicolas.meric:metalogic-mapping-2
nicolas.meric:onto-class-name-space
nicolas.meric:invariants-name-space
nicolas.meric:monitor-name-space
nicolas.meric:scoped-docitems
nicolas.meric:instance-name-space
nicolas.meric:docitem-name-antiquotations
nicolas.meric:metalogic-mapping
nicolas.meric:implement-rejects-clause
nicolas.meric:enable-invariants-checking-everywhere
nicolas.meric:test-normalization
nicolas.meric:instance-value-normalization
nicolas.meric:main
nicolas.meric:2022-thesis-mid-term-document
nicolas.meric:update-cenelec
nicolas.meric:parametric-invariant
nicolas.meric:2022-phd-poster-test
nicolas.meric:avoid-reporting-duplication
nicolas.meric:ICFEM-2022
nicolas.meric:2021-ITP-PMTI
nicolas.meric:use-caml-case-convention-for-theories-naming
nicolas.meric:clean-up-isa-check-functions
nicolas.meric:fix-record-generation
Isabelle_DOF:main
Isabelle_DOF:isabelle_nightly
Isabelle_DOF:Isabelle2024
Isabelle_DOF:afp_resubmission
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
nicolas.meric:v1.3.0/Isabelle2021-1
nicolas.meric:v1.2.0/Isabelle2021
nicolas.meric:2021-ITP-PMTI-rejected
nicolas.meric:v1.1.0/Isabelle2021
nicolas.meric:v1.1.0/Isabelle2020
nicolas.meric:v1.0.0/Isabelle2019
nicolas.meric:Unreleased/Isabelle2018
nicolas.meric:Unreleased/Isabelle2017
Isabelle_DOF:Unreleased/Isabelle2023
Isabelle_DOF:Unreleased/Isabelle2022
Isabelle_DOF:afp_submission
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.