isabelle-dev

Messages by Date

2021/10/11 Re: [isabelle-dev] Missing Isabelle components: Failed to download Makarius
2021/10/11 Re: [isabelle-dev] Missing Isabelle components: Failed to download Tobias Nipkow
2021/10/11 Re: [isabelle-dev] Missing Isabelle components: Failed to download Makarius
2021/10/11 Re: [isabelle-dev] Missing Isabelle components: Failed to download Tobias Nipkow
2021/10/11 [isabelle-dev] Missing Isabelle components: Failed to download Tobias Nipkow
2021/10/10 Re: [isabelle-dev] Word Libraries Florian Haftmann
2021/10/10 [isabelle-dev] Fwd: Word Libraries Florian Haftmann
2021/10/10 Re: [isabelle-dev] Word Libraries Florian Haftmann
2021/10/09 Re: [isabelle-dev] Fwd: Word Libraries Florian Haftmann
2021/10/09 [isabelle-dev] Fwd: Word Libraries Florian Haftmann
2021/10/09 Re: [isabelle-dev] Word Libraries Florian Haftmann
2021/10/08 [isabelle-dev] NEWS: Nitpick with external/portable MiniSat Makarius
2021/10/08 Re: [isabelle-dev] Word Libraries Makarius
2021/10/08 Re: [isabelle-dev] Word Libraries Gerwin Klein
2021/10/06 Re: [isabelle-dev] Word Libraries Florian Haftmann
2021/10/04 Re: [isabelle-dev] Word Libraries Gerwin Klein
2021/10/02 Re: [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants Norbert Schirmer
2021/09/29 Re: [isabelle-dev] Towards the next release --- and release naming scheme Makarius
2021/09/29 Re: [isabelle-dev] Towards the next release --- and release naming scheme Christian Sternagel
2021/09/29 Re: [isabelle-dev] Normalise theorem wrt an environment Makarius
2021/09/29 Re: [isabelle-dev] Normalise theorem wrt an environment Kevin Kappelmann
2021/09/29 Re: [isabelle-dev] Normalise theorem wrt an environment Makarius
2021/09/29 Re: [isabelle-dev] Normalise theorem wrt an environment Lawrence Paulson
2021/09/29 Re: [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants Makarius
2021/09/29 Re: [isabelle-dev] Towards the next release --- and release naming scheme Martin Desharnais
2021/09/29 Re: [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants Makarius
2021/09/29 Re: [isabelle-dev] Towards the next release --- and release naming scheme Florian Haftmann
2021/09/29 Re: [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants Florian Haftmann
2021/09/28 Re: [isabelle-dev] Towards the next release --- and release naming scheme Lawrence Paulson
2021/09/28 [isabelle-dev] Normalise theorem wrt an environment Kevin Kappelmann
2021/09/27 Re: [isabelle-dev] Towards the next release --- and release naming scheme Gerwin Klein
2021/09/27 Re: [isabelle-dev] Towards the next release --- and release naming scheme Makarius
2021/09/27 Re: [isabelle-dev] Towards the next release --- and release naming scheme Lawrence Paulson
2021/09/27 Re: [isabelle-dev] Towards the next release --- and release naming scheme Makarius
2021/09/27 Re: [isabelle-dev] Towards the next release --- and release naming scheme Martin Desharnais
2021/09/27 [isabelle-dev] Towards the next release --- and release naming scheme Makarius
2021/09/27 Re: [isabelle-dev] NEWS: Improper proof command 'guess' provided by separate theory "Pure-ex.Guess" Lawrence Paulson
2021/09/27 [isabelle-dev] NEWS: Improper proof command 'guess' provided by separate theory "Pure-ex.Guess" Makarius
2021/09/24 Re: [isabelle-dev] Java 17 LTS Makarius
2021/09/23 Re: [isabelle-dev] Java 17 LTS Martin Desharnais
2021/09/23 Re: [isabelle-dev] Java 17 LTS Makarius
2021/09/22 [isabelle-dev] Java 17 LTS Makarius
2021/09/22 Re: [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants Makarius
2021/09/22 Re: [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants Peter Lammich
2021/09/22 Re: [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants Makarius
2021/09/22 Re: [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants Peter Lammich
2021/09/22 [isabelle-dev] NEWS: ML antiquotations for object-logic judgement Makarius
2021/09/22 [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants Makarius
2021/09/22 [isabelle-dev] NEWS: Isabelle/ML "build" combinators Makarius
2021/09/22 [isabelle-dev] NEWS: Scalable operations for Thm.instantiate and Thm.generalize Makarius
2021/09/22 [isabelle-dev] NEWS: Configuration option "show_results" Makarius
2021/09/22 [isabelle-dev] NEWS: Bundles for lattice syntax Makarius
2021/09/22 [isabelle-dev] NEWS: Localized commands 'syntax' and 'no_syntax' Makarius
2021/08/12 Re: [isabelle-dev] Word Libraries Makarius
2021/08/12 Re: [isabelle-dev] Word Libraries Makarius
2021/08/12 Re: [isabelle-dev] Word Libraries Makarius
2021/08/12 Re: [isabelle-dev] Word Libraries Florian Haftmann
2021/08/10 Re: [isabelle-dev] Word Libraries Gerwin Klein
2021/08/10 [isabelle-dev] Word Libraries Florian Haftmann
2021/07/23 Re: [isabelle-dev] Extension for jEdit Console Active Area Simon Foster
2021/07/21 [isabelle-dev] Extension for jEdit Console Active Area Simon Foster
2021/07/18 [isabelle-dev] NEWS: Isabelle/Scala improvements Makarius
2021/07/05 [isabelle-dev] [CI] Jenkins build control Fabian Huch
2021/07/03 Re: [isabelle-dev] complex argument function(s) Manuel Eberl
2021/07/03 Re: [isabelle-dev] complex argument function(s) Lawrence Paulson
2021/07/01 Re: [isabelle-dev] complex argument function(s) Dr A. Koutsoukou-Argyraki
2021/07/01 Re: [isabelle-dev] complex argument function(s) Dr A. Koutsoukou-Argyraki
2021/07/01 Re: [isabelle-dev] complex argument function(s) Manuel Eberl
2021/07/01 Re: [isabelle-dev] complex argument function(s) Dr A. Koutsoukou-Argyraki
2021/07/01 Re: [isabelle-dev] complex argument function(s) Lawrence Paulson
2021/07/01 Re: [isabelle-dev] complex argument function(s) Manuel Eberl
2021/06/30 Re: [isabelle-dev] complex argument function(s) Dr A. Koutsoukou-Argyraki
2021/06/27 Re: [isabelle-dev] Failure to update isabelle repo checkout Andreas Lochbihler
2021/06/27 Re: [isabelle-dev] Failure to update isabelle repo checkout Makarius
2021/06/27 [isabelle-dev] Failure to update isabelle repo checkout Andreas Lochbihler
2021/06/25 [isabelle-dev] complex argument function(s) Lawrence Paulson
2021/06/16 [isabelle-dev] NEWS Florian Haftmann
2021/06/09 [isabelle-dev] NEWS: Reactivated ML profiling Makarius
2021/06/07 [isabelle-dev] NEWS: System options short form (e.g. "-o document") Makarius
2021/06/07 Re: [isabelle-dev] TUM repository is down? Makarius
2021/06/05 Re: [isabelle-dev] TUM repository is down? Makarius
2021/06/03 [isabelle-dev] testboard directory missing Lawrence Paulson
2021/06/02 Re: [isabelle-dev] TUM repository is down? Makarius
2021/06/02 Re: [isabelle-dev] TUM repository is down? Fabian Huch
2021/06/02 Re: [isabelle-dev] TUM repository is down? Fabian Huch
2021/06/02 [isabelle-dev] TUM repository is down? Lawrence Paulson
2021/05/27 Re: [isabelle-dev] Problem to push to AFP at heptapod Gerwin Klein
2021/05/27 Re: [isabelle-dev] Problem to push to AFP at heptapod Florian Haftmann
2021/05/27 [isabelle-dev] Problem to push to AFP at heptapod Florian Haftmann
2021/05/11 Re: [isabelle-dev] map_ran's type in HOL-Library.AList is too restrictive Tobias Nipkow
2021/05/11 [isabelle-dev] map_ran's type in HOL-Library.AList is too restrictive Martin Desharnais
2021/04/27 [isabelle-dev] Admin/init Makarius
2021/03/28 [isabelle-dev] Sedicated session for material on combinatorics Florian Haftmann
2021/03/21 [isabelle-dev] NEWS: High-quality blackboard-bold symbols Makarius
2021/03/14 Re: [isabelle-dev] NEWS: Remote provers from SystemOnTPTP via Isabelle/Scala Makarius
2021/03/14 [isabelle-dev] NEWS: Remote provers from SystemOnTPTP via Isabelle/Scala Makarius
2021/03/12 Re: [isabelle-dev] Isabelle repository version, problems starting up Peter Lammich
2021/03/12 Re: [isabelle-dev] Isabelle repository version, problems starting up Makarius
2021/03/12 Re: [isabelle-dev] Isabelle repository version, problems starting up Peter Lammich
2021/03/12 Re: [isabelle-dev] [RESOLVED] Isabelle repository version, problems starting up Makarius
2021/03/12 Re: [isabelle-dev] Isabelle repository version, problems starting up Makarius
2021/03/12 Re: [isabelle-dev] [RESOLVED] Isabelle repository version, problems starting up Peter Lammich
2021/03/12 Re: [isabelle-dev] [RESOLVED] Isabelle repository version, problems starting up Manuel Eberl
2021/03/12 Re: [isabelle-dev] [RESOLVED] Isabelle repository version, problems starting up Peter Lammich
2021/03/12 Re: [isabelle-dev] Isabelle repository version, problems starting up Fabian Huch
2021/03/12 Re: [isabelle-dev] Isabelle repository version, problems starting up Peter Lammich
2021/03/12 Re: [isabelle-dev] Isabelle repository version, problems starting up Manuel Eberl
2021/03/12 [isabelle-dev] Isabelle repository version, problems starting up Peter Lammich
2021/03/11 [isabelle-dev] NEWS: Improved LaTeX typesetting of ‹...› Makarius
2021/03/05 [isabelle-dev] Clarified timeouts for Isabelle/ML tools Makarius
2021/03/01 Re: [isabelle-dev] Using ML files in subdirectories for code generation Mathias Fleury
2021/03/01 Re: [isabelle-dev] Using ML files in subdirectories for code generation Makarius
2021/03/01 [isabelle-dev] Using ML files in subdirectories for code generation Mathias Fleury
2021/02/27 Re: [isabelle-dev] NEWS: External bash processes are always managed by Isabelle/Scala Makarius
2021/02/25 Re: [isabelle-dev] lots of interesting lemmas in the AFP entry Complex_Geometry Florian Haftmann
2021/02/25 Re: [isabelle-dev] NEWS: External bash processes are always managed by Isabelle/Scala Florian Haftmann
2021/02/23 Re: [isabelle-dev] NEWS: External bash processes are always managed by Isabelle/Scala Makarius
2021/02/22 [isabelle-dev] NEWS: External bash processes are always managed by Isabelle/Scala Makarius
2021/02/19 Re: [isabelle-dev] lots of interesting lemmas in the AFP entry Complex_Geometry Manuel Eberl
2021/02/19 Re: [isabelle-dev] lots of interesting lemmas in the AFP entry Complex_Geometry Tobias Nipkow
2021/02/19 [isabelle-dev] lots of interesting lemmas in the AFP entry Complex_Geometry Lawrence Paulson
2021/02/14 Re: [isabelle-dev] Problem with the AFP repository at heptapod Gerwin Klein
2021/02/14 Re: [isabelle-dev] Problem with the AFP repository at heptapod Florian Haftmann
2021/02/14 Re: [isabelle-dev] Problem with the AFP repository at heptapod Makarius
2021/02/14 Re: [isabelle-dev] Problem with the AFP repository at heptapod Florian Haftmann
2021/02/13 Re: [isabelle-dev] Problem with the AFP repository at heptapod Christian Sternagel
2021/02/13 Re: [isabelle-dev] Problem with the AFP repository at heptapod Florian Haftmann
2021/02/13 Re: [isabelle-dev] Problem with the AFP repository at heptapod Manuel Eberl
2021/02/13 Re: [isabelle-dev] Problem with the AFP repository at heptapod Florian Haftmann
2021/02/13 Re: [isabelle-dev] Problem with the AFP repository at heptapod Makarius
2021/02/13 Re: [isabelle-dev] Discontinued archive for devel mailing list Makarius
2021/02/13 Re: [isabelle-dev] Problem with the AFP repository at heptapod Makarius
2021/02/13 [isabelle-dev] Problem with the AFP repository at heptapod Florian Haftmann
2021/02/13 [isabelle-dev] Discontinued archive for devel mailing list Florian Haftmann
2021/01/23 [isabelle-dev] Potential HTML generation bug MACKENZIE Carlin
2021/01/23 Re: [isabelle-dev] Build of session JEdit requires previous build of Isabelle/jEdit itself Makarius
2021/01/23 [isabelle-dev] Build of session JEdit requires previous build of Isabelle/jEdit itself Florian Haftmann
2021/01/17 [isabelle-dev] scala-2.13.4 Makarius
2021/01/13 Re: [isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux? Makarius
2021/01/13 Re: [isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux? Manuel Eberl
2021/01/12 Re: [isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux? Makarius
2021/01/12 [isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux? Manuel Eberl
2021/01/12 Re: [isabelle-dev] Isabelle2021 release process Gerwin Klein
2021/01/10 Re: [isabelle-dev] Isabelle2021 release process Makarius
2021/01/10 Re: [isabelle-dev] NEWS: Improved GUI look-and-feel Makarius
2021/01/10 Re: [isabelle-dev] NEWS: Improved GUI look-and-feel Lawrence Paulson
2021/01/10 Re: [isabelle-dev] Isabelle2021 release process Makarius
2021/01/10 Re: [isabelle-dev] NEWS: Improved GUI look-and-feel Makarius
2021/01/09 Re: [isabelle-dev] Isabelle2021 release process Manuel Eberl
2021/01/08 [isabelle-dev] NEWS: Improved GUI look-and-feel Makarius
2021/01/08 Re: [isabelle-dev] Isabelle2021 release process Makarius
2021/01/08 Re: [isabelle-dev] Isabelle2021 release process Manuel Eberl
2021/01/08 Re: [isabelle-dev] Isabelle2021 release process Makarius
2021/01/07 [isabelle-dev] Java 15 ("zulu") Makarius
2021/01/03 Re: [isabelle-dev] HOL-ex Makarius
2021/01/02 Re: [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" Makarius
2021/01/02 Re: [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" Lars Hupel
2021/01/02 Re: [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" Makarius
2021/01/02 Re: [isabelle-dev] A proposal for the website Makarius
2021/01/01 Re: [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" Makarius
2021/01/01 Re: [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" Lars Hupel
2021/01/01 Re: [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" Makarius
2020/12/29 Re: [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" Lars Hupel
2020/12/27 [isabelle-dev] Isabelle2021 release process Makarius
2020/12/23 Re: [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" Makarius
2020/12/23 Re: [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" Makarius
2020/12/23 [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" Lars Hupel
2020/12/18 [isabelle-dev] Isabelle/Phabricator project tags Makarius
2020/12/18 Re: [isabelle-dev] NEWS: Isabelle/jEdit action "isabelle.goto-entity" Makarius
2020/12/18 Re: [isabelle-dev] NEWS: Isabelle/jEdit action "isabelle.goto-entity" Lawrence Paulson
2020/12/18 [isabelle-dev] NEWS: Isabelle/jEdit action "isabelle.goto-entity" Makarius
2020/12/10 [isabelle-dev] NEWS: Message logs from session build database Makarius
2020/12/04 Re: [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives Florian Haftmann
2020/12/03 Re: [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives Clemens Ballarin
2020/11/27 Re: [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives Florian Haftmann
2020/11/21 Re: [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives Florian Haftmann
2020/11/20 Re: [isabelle-dev] Fwd: Bug in Isabelle 2019/2020 Manuel Eberl
2020/11/20 Re: [isabelle-dev] Fwd: Bug in Isabelle 2019/2020 Manuel Eberl
2020/11/20 [isabelle-dev] Fwd: Bug in Isabelle 2019/2020 Peter Reitinger
2020/11/18 Re: [isabelle-dev] Manually using a SideKick parser MACKENZIE Carlin
2020/11/17 Re: [isabelle-dev] Manually using a SideKick parser Makarius
2020/11/17 [isabelle-dev] Manually using a SideKick parser MACKENZIE Carlin
2020/11/09 Re: [isabelle-dev] Issues with unnamed top-level facts in Isabelle Makarius
2020/11/05 Re: [isabelle-dev] Issues with unnamed top-level facts in Isabelle Tobias Nipkow
2020/11/05 Re: [isabelle-dev] Issues with unnamed top-level facts in Isabelle Fabian Huch
2020/11/05 Re: [isabelle-dev] Issues with unnamed top-level facts in Isabelle Makarius
2020/11/05 Re: [isabelle-dev] Issues with unnamed top-level facts in Isabelle Tobias Nipkow
2020/11/05 Re: [isabelle-dev] Issues with unnamed top-level facts in Isabelle Makarius
2020/11/05 [isabelle-dev] Issues with unnamed top-level facts in Isabelle Fabian Huch
2020/11/05 Re: [isabelle-dev] Experimental support for arm64-linux David Matthews
2020/11/04 Re: [isabelle-dev] Experimental support for arm64-linux Florian Märkl
2020/11/04 [isabelle-dev] Experimental support for arm64-linux Lukas Stevens
2020/11/04 Re: [isabelle-dev] A proposal for the website Kevin Kappelmann
2020/11/03 Re: [isabelle-dev] A proposal for the website Mark Wassell
2020/11/03 Re: [isabelle-dev] A proposal for the website Kevin Kappelmann
2020/11/03 Re: [isabelle-dev] A proposal for the website Makarius
2020/11/03 Re: [isabelle-dev] A proposal for the website Makarius
2020/11/03 Re: [isabelle-dev] A proposal for the website Jasmin Blanchette
2020/11/03 Re: [isabelle-dev] A proposal for the website Mark Wassell
2020/11/03 Re: [isabelle-dev] A proposal for the website Lawrence Paulson