Messages by Date
-
2019/03/18
Re: [isabelle-dev] HTML output
Bisping, Benjamin
-
2019/03/18
[isabelle-dev] HTML output
Haslbeck, Maximilian
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Makarius
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Florian Haftmann
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Makarius
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Makarius
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Manuel Eberl
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Florian Haftmann
-
2019/03/14
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Makarius
-
2019/03/14
Re: [isabelle-dev] [Isabelle-ci] Build failure in Isabelle+AFP (slow)
Florian Haftmann
-
2019/03/13
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)
Makarius
-
2019/03/13
Re: [isabelle-dev] NEWS
Makarius
-
2019/03/13
Re: [isabelle-dev] NEWS
Makarius
-
2019/03/13
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)
Lars Hupel
-
2019/03/13
Re: [isabelle-dev] NEWS
Lars Hupel
-
2019/03/13
Re: [isabelle-dev] NEWS
Florian Haftmann
-
2019/03/13
Re: [isabelle-dev] NEWS
Lars Hupel
-
2019/03/13
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Florian Haftmann
-
2019/03/13
[isabelle-dev] NEWS
Florian Haftmann
-
2019/03/12
[isabelle-dev] NEWS: Update to Poly/ML 5.8 -- and towards Isabelle2019
Makarius
-
2019/03/12
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)
Thomas Sewell
-
2019/03/12
[isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)
Lawrence Paulson
-
2019/03/11
Re: [isabelle-dev] Redundant definitions in Analysis
Sebastien Gouezel
-
2019/03/11
Re: [isabelle-dev] Redundant definitions in Analysis
Fabian Immler
-
2019/03/08
Re: [isabelle-dev] Current AFP problems
Lars Hupel
-
2019/03/08
Re: [isabelle-dev] Current AFP problems
Lawrence Paulson
-
2019/03/08
[isabelle-dev] Current AFP problems
Florian Haftmann
-
2019/03/07
[isabelle-dev] Redundant definitions in Analysis
Lawrence Paulson
-
2019/03/06
Re: [isabelle-dev] syntax highlighting of inner comments
Fabian Immler
-
2019/03/06
Re: [isabelle-dev] syntax highlighting of inner comments
Peter Lammich
-
2019/03/06
[isabelle-dev] syntax highlighting of inner comments
Fabian Immler
-
2019/03/01
[isabelle-dev] NEWS: option system_heaps
Makarius
-
2019/02/28
Re: [isabelle-dev] Creating Theorems in ML
Makarius
-
2019/02/28
[isabelle-dev] Creating Theorems in ML
Achermann Reto
-
2019/02/24
Re: [isabelle-dev] Wrong position information in 3bfa28b3a5b2
Makarius
-
2019/02/23
Re: [isabelle-dev] infix line breaking
Lawrence Paulson
-
2019/02/23
Re: [isabelle-dev] Towards Poly/ML 5.8
Makarius
-
2019/02/23
Re: [isabelle-dev] infix line breaking
Makarius
-
2019/02/23
Re: [isabelle-dev] infix line breaking
Lawrence Paulson
-
2019/02/23
Re: [isabelle-dev] Towards Poly/ML 5.8
Lars Hupel
-
2019/02/23
Re: [isabelle-dev] infix line breaking
Manuel Eberl
-
2019/02/22
Re: [isabelle-dev] Wrong position information in 3bfa28b3a5b2
Makarius
-
2019/02/22
Re: [isabelle-dev] infix line breaking
Makarius
-
2019/02/22
Re: [isabelle-dev] infix line breaking
Lawrence Paulson
-
2019/02/22
Re: [isabelle-dev] infix line breaking
Tobias Nipkow
-
2019/02/22
[isabelle-dev] infix line breaking
Lawrence Paulson
-
2019/02/22
[isabelle-dev] Wrong position information in 3bfa28b3a5b2
Manuel Eberl
-
2019/02/21
[isabelle-dev] Specification packages in Isabelle/HOL, particularly primrec
Florian Haftmann
-
2019/02/20
[isabelle-dev] Towards Poly/ML 5.8
Makarius
-
2019/02/17
[isabelle-dev] polyml-test-8fda4fd22441 available for testing
Makarius
-
2019/02/16
Re: [isabelle-dev] Timeouts in Flyspeck_Tame
Makarius
-
2019/02/16
Re: [isabelle-dev] Timeouts in Flyspeck_Tame
Florian Haftmann
-
2019/02/14
Re: [isabelle-dev] Timeouts in Flyspeck_Tame
Makarius
-
2019/02/14
Re: [isabelle-dev] Timeouts in Flyspeck_Tame
Florian Haftmann
-
2019/02/14
Re: [isabelle-dev] Timeouts in Flyspeck_Tame
Makarius
-
2019/02/14
Re: [isabelle-dev] Timeouts in Flyspeck_Tame
Florian Haftmann
-
2019/02/13
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Makarius
-
2019/02/13
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Makarius
-
2019/02/10
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Makarius
-
2019/02/10
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Peter Lammich
-
2019/02/10
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Christian Sternagel
-
2019/02/10
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Makarius
-
2019/02/10
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Makarius
-
2019/02/10
Re: [isabelle-dev] Timeouts in Flyspeck_Tame
Makarius
-
2019/02/08
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Christian Sternagel
-
2019/02/05
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Makarius
-
2019/02/05
Re: [isabelle-dev] Isabelle DejaVu against old Isabelle Text font
Makarius
-
2019/02/05
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/02/05
Re: [isabelle-dev] NEWS: generated code as proper theory export
Salomon Sickert
-
2019/02/05
Re: [isabelle-dev] Exponentiation by squaring
Thiemann , René
-
2019/02/05
[isabelle-dev] Exponentiation by squaring
Manuel Eberl
-
2019/02/04
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/02/04
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/02/04
[isabelle-dev] Uniform Isabelle repository clones via https://isabelle.sketis.net/repos
Makarius
-
2019/02/04
Re: [isabelle-dev] Timeouts in Flyspeck_Tame
Makarius
-
2019/02/04
[isabelle-dev] Timeouts in Flyspeck_Tame
Lars Hupel
-
2019/02/03
Re: [isabelle-dev] NEWS: generated code as proper theory export
Salomon Sickert
-
2019/02/03
Re: [isabelle-dev] Analysis not building
Bertram Felgenhauer
-
2019/02/02
Re: [isabelle-dev] Analysis not building
Makarius
-
2019/02/02
Re: [isabelle-dev] Analysis not building
Lawrence Paulson
-
2019/02/02
Re: [isabelle-dev] Analysis not building
Makarius
-
2019/02/02
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/02/02
Re: [isabelle-dev] Analysis not building
Makarius
-
2019/02/02
Re: [isabelle-dev] Analysis not building
Lawrence Paulson
-
2019/02/02
Re: [isabelle-dev] Analysis not building
Florian Haftmann
-
2019/02/02
Re: [isabelle-dev] NEWS: generated code as proper theory export
Florian Haftmann
-
2019/02/02
[isabelle-dev] Analysis not building
Lawrence Paulson
-
2019/02/01
[isabelle-dev] polyml-test-b68438d33c69
Makarius
-
2019/02/01
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/02/01
Re: [isabelle-dev] NEWS: generated code as proper theory export
Lars Hupel
-
2019/02/01
Re: [isabelle-dev] NEWS: File Browser and Virtual File-systems for Isabelle resources
Makarius
-
2019/02/01
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/02/01
Re: [isabelle-dev] NEWS: generated code as proper theory export
Lars Hupel
-
2019/02/01
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/02/01
Re: [isabelle-dev] NEWS: generated code as proper theory export
Lars Hupel
-
2019/02/01
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/02/01
Re: [isabelle-dev] NEWS: generated code as proper theory export
Lars Hupel
-
2019/02/01
Re: [isabelle-dev] NEWS: generated code as proper theory export
Peter Lammich
-
2019/01/31
Re: [isabelle-dev] NEWS: File Browser and Virtual File-systems for Isabelle resources
Makarius
-
2019/01/31
[isabelle-dev] NEWS: File Browser and Virtual File-systems for Isabelle resources
Makarius
-
2019/01/31
[isabelle-dev] NEWS: option "jedit_text_overview"
Makarius
-
2019/01/31
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/01/31
Re: [isabelle-dev] NEWS: generated code as proper theory export
Mathias Fleury
-
2019/01/31
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/01/31
Re: [isabelle-dev] NEWS: generated code as proper theory export
Peter Lammich
-
2019/01/31
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/01/31
Re: [isabelle-dev] Afterthoughts on Local_Theory.subtarget_result
Makarius
-
2019/01/29
Re: [isabelle-dev] Question about testing isabelle with Poly/ML x86_64_32
Makarius
-
2019/01/29
[isabelle-dev] Question about testing isabelle with Poly/ML x86_64_32
João Rafael Nicola
-
2019/01/28
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
David Matthews
-
2019/01/28
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Lawrence Paulson
-
2019/01/28
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Bertram Felgenhauer
-
2019/01/27
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Makarius
-
2019/01/26
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Andrei Popescu
-
2019/01/25
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Bertram Felgenhauer
-
2019/01/25
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Fabian Immler
-
2019/01/25
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing (polyml-test-a444f281ccec)
Makarius
-
2019/01/25
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Tobias Nipkow
-
2019/01/23
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing (polyml-test-a444f281ccec)
Makarius
-
2019/01/23
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
David Matthews
-
2019/01/23
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Makarius
-
2019/01/23
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Makarius
-
2019/01/23
Re: [isabelle-dev] [Spam] cardinality primitives in Isabelle/HOL?
Lawrence Paulson
-
2019/01/23
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Bertram Felgenhauer
-
2019/01/23
Re: [isabelle-dev] [Spam] cardinality primitives in Isabelle/HOL?
Blanchette, J.C.
-
2019/01/23
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Lawrence Paulson
-
2019/01/23
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
David Matthews
-
2019/01/23
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Traytel Dmitriy
-
2019/01/23
Re: [isabelle-dev] State of the art in Isabelle with OCaml, opam and zarith
Lars Hupel
-
2019/01/22
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Makarius
-
2019/01/22
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Fabian Immler
-
2019/01/22
Re: [isabelle-dev] State of the art in Isabelle with OCaml, opam and zarith
Florian Haftmann
-
2019/01/22
Re: [isabelle-dev] State of the art in Isabelle with OCaml, opam and zarith
Lars Hupel
-
2019/01/22
[isabelle-dev] Afterthoughts on Local_Theory.subtarget_result
Florian Haftmann
-
2019/01/22
Re: [isabelle-dev] State of the art in Isabelle with OCaml, opam and zarith
Makarius
-
2019/01/22
[isabelle-dev] State of the art in Isabelle with OCaml, opam and zarith
Florian Haftmann
-
2019/01/22
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Fabian Immler
-
2019/01/22
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Makarius
-
2019/01/22
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Fabian Immler
-
2019/01/22
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Makarius
-
2019/01/22
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Makarius
-
2019/01/22
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Lawrence Paulson
-
2019/01/22
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Lawrence Paulson
-
2019/01/22
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Bertram Felgenhauer
-
2019/01/22
Re: [isabelle-dev] Poly/ML x86_64_32 available for testing
Makarius
-
2019/01/19
[isabelle-dev] Poly/ML x86_64_32 available for testing
Makarius
-
2019/01/18
Re: [isabelle-dev] mercurial accident
Makarius
-
2019/01/18
Re: [isabelle-dev] mercurial accident
Tobias Nipkow
-
2019/01/18
Re: [isabelle-dev] mercurial accident
Makarius
-
2019/01/18
Re: [isabelle-dev] mercurial accident
Dr A. Koutsoukou-Argyraki
-
2019/01/18
Re: [isabelle-dev] mercurial accident
Makarius
-
2019/01/18
Re: [isabelle-dev] mercurial accident
Lawrence Paulson
-
2019/01/18
Re: [isabelle-dev] mercurial accident
Lars Hupel
-
2019/01/17
Re: [isabelle-dev] mercurial accident
Fabian Immler
-
2019/01/17
Re: [isabelle-dev] mercurial accident
Makarius
-
2019/01/17
Re: [isabelle-dev] mercurial accident
Makarius
-
2019/01/17
Re: [isabelle-dev] mercurial accident
Lars Hupel
-
2019/01/17
[isabelle-dev] mercurial accident
Fabian Immler
-
2019/01/14
Re: [isabelle-dev] NEWS: generated code as proper theory export
Florian Haftmann
-
2019/01/14
Re: [isabelle-dev] Website https://isabelle.in.tum.de is down
Makarius
-
2019/01/14
[isabelle-dev] Website https://isabelle.in.tum.de is down
Makarius
-
2019/01/13
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/01/11
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/01/10
Re: [isabelle-dev] NEWS: generated code as proper theory export
Makarius
-
2019/01/10
[isabelle-dev] NEWS: generated code as proper theory export
Florian Haftmann
-
2019/01/06
[isabelle-dev] NEWS: isabelle update
Makarius
-
2018/12/30
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Traytel Dmitriy
-
2018/12/28
[isabelle-dev] Update of Haskell Stack
Makarius
-
2018/12/28
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Lawrence Paulson
-
2018/12/27
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Makarius
-
2018/12/27
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Traytel Dmitriy
-
2018/12/27
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Tobias Nipkow
-
2018/12/27
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Lawrence Paulson
-
2018/12/27
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Florian Haftmann
-
2018/12/27
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Lawrence Paulson
-
2018/12/27
Re: [isabelle-dev] cardinality primitives in Isabelle/HOL?
Florian Haftmann
-
2018/12/27
[isabelle-dev] cardinality primitives in Isabelle/HOL?
Lawrence Paulson
-
2018/12/04
Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
Thomas Sewell
-
2018/11/30
Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
Makarius
-
2018/11/30
Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
Makarius
-
2018/11/30
Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
Thomas Sewell
-
2018/11/30
Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
Makarius
-
2018/11/30
Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
Jonathon Fernyhough
-
2018/11/30
Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
Makarius
-
2018/11/30
Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
Jonathon Fernyhough
-
2018/11/30
Re: [isabelle-dev] NEWS: Isabelle DejaVu fonts
Makarius
-
2018/11/30
Re: [isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
Makarius
-
2018/11/30
[isabelle-dev] Support in `isabelle build` for SOURCE_DATE_EPOCH
Jonathon Fernyhough
-
2018/11/24
Re: [isabelle-dev] NEWS: Isabelle DejaVu fonts
Makarius
-
2018/11/24
[isabelle-dev] NEWS: Isabelle DejaVu fonts
Makarius
-
2018/11/17
Re: [isabelle-dev] illegal reflective access
Makarius
-
2018/11/15
Re: [isabelle-dev] illegal reflective access
Makarius
-
2018/11/15
[isabelle-dev] illegal reflective access
Lawrence Paulson
-
2018/11/11
Re: [isabelle-dev] NEWS: Support for Isabelle command-line tools defined in Isabelle/Scala
Makarius
-
2018/11/11
Re: [isabelle-dev] NEWS: Support for Isabelle command-line tools defined in Isabelle/Scala
Lars Hupel
-
2018/11/10
[isabelle-dev] NEWS: Support for Isabelle command-line tools defined in Isabelle/Scala
Makarius