isabelle-dev
Thread
Date
Earlier messages
Later messages
Messages by Date
2018/01/11
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Lawrence Paulson
2018/01/10
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Makarius
2018/01/10
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Tobias Nipkow
2018/01/10
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Makarius
2018/01/10
[isabelle-dev] NEWS: op <infix> -> (<infix>)
Tobias Nipkow
2018/01/04
Re: [isabelle-dev] font issues in Isabelle jedit
Makarius
2018/01/03
Re: [isabelle-dev] font issues in Isabelle jedit
Lawrence Paulson
2018/01/02
Re: [isabelle-dev] font issues in Isabelle jedit
Lawrence Paulson
2018/01/02
Re: [isabelle-dev] font issues in Isabelle jedit
Makarius
2018/01/02
[isabelle-dev] font issues in Isabelle jedit
Lawrence Paulson
2017/12/30
[isabelle-dev] NEWS: more robust \<hyphen>
Makarius
2017/12/30
[isabelle-dev] NEWS: more robust treatment of Unicode files
Makarius
2017/12/30
[isabelle-dev] NEWS: improved Bibtex support
Makarius
2017/12/22
[isabelle-dev] NEWS: preview of document / draft
Makarius
2017/12/18
Re: [isabelle-dev] NEWS: more options for "isabelle jedit"
Makarius
2017/12/16
[isabelle-dev] NEWS: PIDE markup for session ROOT files
Makarius
2017/12/14
Re: [isabelle-dev] NEWS: Latex errors
Makarius
2017/12/14
Re: [isabelle-dev] NEWS: Latex errors
Lars Hupel
2017/12/14
Re: [isabelle-dev] NEWS: Latex errors
Florian Haftmann
2017/12/14
[isabelle-dev] NEWS: Latex errors
Makarius
2017/12/11
Re: [isabelle-dev] Haskabelle unmaintained
Lawrence Paulson
2017/12/09
Re: [isabelle-dev] Haskabelle unmaintained
Makarius
2017/12/09
[isabelle-dev] Haskabelle unmaintained
Florian Haftmann
2017/12/07
[isabelle-dev] NEWS: document preparation with skip_proofs
Makarius
2017/12/07
Re: [isabelle-dev] weird error message on startup
Lawrence Paulson
2017/12/06
Re: [isabelle-dev] weird error message on startup
Makarius
2017/12/06
Re: [isabelle-dev] NEWS: antiquoted cartouches
Makarius
2017/12/06
Re: [isabelle-dev] weird error message on startup
Tobias Nipkow
2017/12/06
[isabelle-dev] weird error message on startup
Lawrence Paulson
2017/12/06
Re: [isabelle-dev] NEWS: document_tags
Tobias Nipkow
2017/12/05
[isabelle-dev] NEWS: document_tags
Makarius
2017/12/05
[isabelle-dev] NEWS: antiquoted cartouches
Makarius
2017/12/04
[isabelle-dev] NEWS: old 'def' command has been discontinued
Makarius
2017/11/27
[isabelle-dev] Admin/PLATFORMS
Makarius
2017/11/27
[isabelle-dev] NEWS: update to Poly/ML 5.7.1
Makarius
2017/11/24
Re: [isabelle-dev] Towards the Isabelle2017 release - Complete Distributive Lattice
Viorel Preoteasa
2017/11/23
Re: [isabelle-dev] Towards the Isabelle2017 release - Complete Distributive Lattice
Lawrence Paulson
2017/11/23
Re: [isabelle-dev] Slow builds due to excessive heap images
Florian Haftmann
2017/11/17
Re: [isabelle-dev] Slow builds due to excessive heap images
Tobias Nipkow
2017/11/16
Re: [isabelle-dev] Slow builds due to excessive heap images
Florian Haftmann
2017/11/08
Re: [isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/11/08
[isabelle-dev] Formal dependency on "poly" executable
Makarius
2017/11/08
Re: [isabelle-dev] [158c513a39f5] JVM crash
Makarius
2017/11/08
Re: [isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/11/08
Re: [isabelle-dev] [158c513a39f5] JVM crash
Makarius
2017/11/08
Re: [isabelle-dev] Slow builds due to excessive heap images
Manuel Eberl
2017/11/08
Re: [isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/11/08
Re: [isabelle-dev] Slow builds due to excessive heap images
Tobias Nipkow
2017/11/08
Re: [isabelle-dev] [158c513a39f5] JVM crash
Makarius
2017/11/08
Re: [isabelle-dev] [158c513a39f5] JVM crash
David Matthews
2017/11/08
Re: [isabelle-dev] Slow builds due to excessive heap images
Andreas Lochbihler
2017/11/08
[isabelle-dev] Non-slow AFP sessions
Makarius
2017/11/08
Re: [isabelle-dev] Slow builds due to excessive heap images
Makarius
2017/11/08
Re: [isabelle-dev] Slow builds due to excessive heap images
Tobias Nipkow
2017/11/08
Re: [isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/11/07
Re: [isabelle-dev] Slow builds due to excessive heap images
Makarius
2017/11/05
Re: [isabelle-dev] build -x not working anymore
Makarius
2017/11/04
Re: [isabelle-dev] Slow builds due to excessive heap images
Makarius
2017/11/04
Re: [isabelle-dev] Slow builds due to excessive heap images
David Matthews
2017/11/04
Re: [isabelle-dev] NEWS: more options for "isabelle jedit"
Florian Haftmann
2017/11/04
Re: [isabelle-dev] Future of Nat_Transfer
Florian Haftmann
2017/11/03
Re: [isabelle-dev] Slow builds due to excessive heap images
Makarius
2017/11/03
Re: [isabelle-dev] Slow builds due to excessive heap images
Makarius
2017/11/03
Re: [isabelle-dev] build -x not working anymore
Makarius
2017/11/03
Re: [isabelle-dev] Slow builds due to excessive heap images
Fabian Immler
2017/11/03
[isabelle-dev] build -x not working anymore
Fabio Madge Pimentel
2017/11/03
Re: [isabelle-dev] Slow builds due to excessive heap images
Fabian Immler
2017/11/03
Re: [isabelle-dev] the new "imports" semantics
Lawrence Paulson
2017/11/03
Re: [isabelle-dev] the new "imports" semantics
Makarius
2017/11/02
Re: [isabelle-dev] the new "imports" semantics
Lawrence Paulson
2017/11/02
Re: [isabelle-dev] the new "imports" semantics
Makarius
2017/11/02
Re: [isabelle-dev] Slow builds due to excessive heap images
Makarius
2017/11/02
Re: [isabelle-dev] the new "imports" semantics
Dmitriy Traytel
2017/11/02
[isabelle-dev] the new "imports" semantics
Lawrence Paulson
2017/11/02
Re: [isabelle-dev] Slow builds due to excessive heap images
Lars Hupel
2017/11/02
Re: [isabelle-dev] Slow builds due to excessive heap images
Fabian Immler
2017/11/02
Re: [isabelle-dev] Slow builds due to excessive heap images
Makarius
2017/11/02
[isabelle-dev] NEWS: more options for "isabelle jedit"
Makarius
2017/10/30
Re: [isabelle-dev] linordered_semiring_1
Florian Haftmann
2017/10/30
Re: [isabelle-dev] Slow builds due to excessive heap images
Tobias Nipkow
2017/10/29
Re: [isabelle-dev] Slow builds due to excessive heap images
Makarius
2017/10/28
Re: [isabelle-dev] Slow builds due to excessive heap images
Makarius
2017/10/28
[isabelle-dev] Slow builds due to excessive heap images
Makarius
2017/10/28
Re: [isabelle-dev] linordered_semiring_1
Florian Haftmann
2017/10/23
[isabelle-dev] Performance charts for AFP
Makarius
2017/10/23
[isabelle-dev] NEWS: 32bit platforms
Makarius
2017/10/23
[isabelle-dev] jdk-8u152 (x86_64 only)
Makarius
2017/10/22
[isabelle-dev] Towards Poly/ML 5.7.1
Makarius
2017/10/20
[isabelle-dev] linordered_semiring_1
Yamada, Akihisa
2017/10/19
Re: [isabelle-dev] Future of Nat_Transfer
Lawrence Paulson
2017/10/19
[isabelle-dev] Future of Nat_Transfer
Florian Haftmann
2017/10/12
Re: [isabelle-dev] AFP dependencies: Refine_Imperative_HOL
Mathias Fleury
2017/10/12
Re: [isabelle-dev] AFP dependencies: Refine_Imperative_HOL
Makarius
2017/10/12
Re: [isabelle-dev] AFP dependencies: CAVA_LTL_Modelchecker
Makarius
2017/10/12
Re: [isabelle-dev] AFP dependencies
Makarius
2017/10/12
Re: [isabelle-dev] AFP dependencies
Makarius
2017/10/11
Re: [isabelle-dev] NEWS: isabelle build options
Makarius
2017/10/10
[isabelle-dev] AFP dependencies
Makarius
2017/10/10
[isabelle-dev] NEWS
Lawrence Paulson
2017/10/08
Re: [isabelle-dev] Allowed characters in theory names for document build
Makarius
2017/10/08
[isabelle-dev] Allowed characters in theory names for document build
Christian Weinz
2017/10/07
Re: [isabelle-dev] AFP statistics
Lars Hupel
2017/10/07
Re: [isabelle-dev] Problem with ocaml nums.cma on Cygwin64
Makarius
2017/10/06
[isabelle-dev] NEWS: completion for theory imports
Makarius
2017/10/06
Re: [isabelle-dev] Problem with ocaml nums.cma on Cygwin64
Frederic Tuong (Dr)
2017/10/06
[isabelle-dev] Problem with ocaml nums.cma on Cygwin64
Makarius
2017/10/04
Re: [isabelle-dev] Mittagessen
Makarius
2017/10/04
[isabelle-dev] Mittagessen
Makarius
2017/10/04
[isabelle-dev] NEWS: support for multiple session root directories / files
Makarius
2017/10/03
[isabelle-dev] polyml-5.7.1 test version
Makarius
2017/10/02
[isabelle-dev] NEWS: isabelle build options
Makarius
2017/09/30
[isabelle-dev] Remaining uses of 32bit Linux?
Makarius
2017/09/30
[isabelle-dev] Manual installation of x86_64-cygwin
Makarius
2017/09/30
[isabelle-dev] NEWS: Windows platform requires x86_64
Makarius
2017/09/29
Re: [isabelle-dev] [ExternalEmail] Status of afp-devel
Gerwin.Klein
2017/09/29
[isabelle-dev] NEWS: session-qualified theory names are mandatory
Makarius
2017/09/28
Re: [isabelle-dev] Status of afp-devel
Gerwin.Klein
2017/09/28
[isabelle-dev] Status of afp-devel
Makarius
2017/09/28
Re: [isabelle-dev] AFP statistics
Makarius
2017/09/28
Re: [isabelle-dev] AFP statistics
Lawrence Paulson
2017/09/28
Re: [isabelle-dev] AFP statistics
Tobias Nipkow
2017/09/28
Re: [isabelle-dev] AFP statistics
Lars Hupel
2017/09/28
[isabelle-dev] AFP statistics
Makarius
2017/09/24
Re: [isabelle-dev] Towards the Isabelle2017 release
Makarius
2017/09/15
Re: [isabelle-dev] Towards the Isabelle2017 release
Lars Hupel
2017/09/10
Re: [isabelle-dev] Towards the Isabelle2017 release
Gerwin.Klein
2017/09/08
Re: [isabelle-dev] Towards the Isabelle2017 release
Makarius
2017/09/08
Re: [isabelle-dev] Towards the Isabelle2017 release
Makarius
2017/09/08
Re: [isabelle-dev] Towards the Isabelle2017 release
Makarius
2017/09/05
Re: [isabelle-dev] isabelle build timing
Makarius
2017/09/04
Re: [isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/09/04
Re: [isabelle-dev] Towards the Isabelle2017 release
Thiemann, Rene
2017/09/04
Re: [isabelle-dev] isabelle build timing
Lars Hupel
2017/09/03
Re: [isabelle-dev] Unexpected auto indent in 13a1081961d2
Florian Haftmann
2017/09/03
Re: [isabelle-dev] Unexpected auto indent in 13a1081961d2
Makarius
2017/09/03
[isabelle-dev] Unexpected auto indent in 13a1081961d2
Florian Haftmann
2017/09/03
Re: [isabelle-dev] Towards the Isabelle2017 release
Makarius
2017/09/02
Re: [isabelle-dev] HOL-Computational_Algebra and Polynomial_Factorial
Makarius
2017/09/02
[isabelle-dev] isabelle build timing
Makarius
2017/09/01
Re: [isabelle-dev] \mu and \nu in HOL-Algebra [was Re: Towards the Isabelle2017 release]
Clemens Ballarin
2017/09/01
Re: [isabelle-dev] \mu and \nu in HOL-Algebra [was Re: Towards the Isabelle2017 release]
Clemens Ballarin
2017/08/31
Re: [isabelle-dev] Towards the Isabelle2017 release
Florian Haftmann
2017/08/31
Re: [isabelle-dev] \mu and \nu in HOL-Algebra [was Re: Towards the Isabelle2017 release]
Florian Haftmann
2017/08/31
Re: [isabelle-dev] \mu and \nu in HOL-Algebra [was Re: Towards the Isabelle2017 release]
Florian Haftmann
2017/08/31
Re: [isabelle-dev] HOL-Computational_Algebra and Polynomial_Factorial
Florian Haftmann
2017/08/30
Re: [isabelle-dev] Time
Tobias Nipkow
2017/08/30
Re: [isabelle-dev] Towards the Isabelle2017 release
Makarius
2017/08/30
Re: [isabelle-dev] Time
Makarius
2017/08/30
Re: [isabelle-dev] Time
Makarius
2017/08/30
Re: [isabelle-dev] Time
Makarius
2017/08/30
[isabelle-dev] Time
Tobias Nipkow
2017/08/29
[isabelle-dev] HOL-Computational_Algebra and Polynomial_Factorial
Manuel Eberl
2017/08/29
Re: [isabelle-dev] Towards the Isabelle2017 release
Makarius
2017/08/29
[isabelle-dev] \mu and \nu in HOL-Algebra [was Re: Towards the Isabelle2017 release]
Clemens Ballarin
2017/08/29
Re: [isabelle-dev] Complete Distributive Lattice
Lawrence Paulson
2017/08/29
Re: [isabelle-dev] Complete Distributive Lattice
Makarius
2017/08/29
Re: [isabelle-dev] Complete Distributive Lattice
Viorel Preoteasa
2017/08/29
Re: [isabelle-dev] Complete Distributive Lattice
Makarius
2017/08/28
Re: [isabelle-dev] Towards the Isabelle2017 release
Thiemann, Rene
2017/08/27
Re: [isabelle-dev] Towards the Isabelle2017 release - Complete Distributive Lattice
Viorel Preoteasa
2017/08/27
Re: [isabelle-dev] Towards the Isabelle2017 release - Complete Distributive Lattice
Lars Hupel
2017/08/27
Re: [isabelle-dev] Towards the Isabelle2017 release - Complete Distributive Lattice
Lawrence Paulson
2017/08/27
Re: [isabelle-dev] Towards the Isabelle2017 release - Complete Distributive Lattice
Viorel Preoteasa
2017/08/26
Re: [isabelle-dev] Towards the Isabelle2017 release - Complete Distributive Lattice
Lawrence Paulson
2017/08/25
Re: [isabelle-dev] Towards the Isabelle2017 release - Complete Distributive Lattice
Viorel Preoteasa
2017/08/25
Re: [isabelle-dev] Towards the Isabelle2017 release
Viorel Preoteasa
2017/08/25
Re: [isabelle-dev] some results about "lex"
Tobias Nipkow
2017/08/25
[isabelle-dev] \mu and \nu in HOL-Algebra [was Re: Towards the Isabelle2017 release]
Clemens Ballarin
2017/08/24
Re: [isabelle-dev] Towards the Isabelle2017 release
Florian Haftmann
2017/08/24
[isabelle-dev] some results about "lex"
Christian Sternagel
2017/08/24
Re: [isabelle-dev] Towards the Isabelle2017 release
Florian Haftmann
2017/08/24
Re: [isabelle-dev] Towards the Isabelle2017 release
Manuel Eberl
2017/08/24
Re: [isabelle-dev] Towards the Isabelle2017 release
Manuel Eberl
2017/08/24
Re: [isabelle-dev] Towards the Isabelle2017 release
Viorel Preoteasa
2017/08/24
Re: [isabelle-dev] Towards the Isabelle2017 release
Florian Haftmann
2017/08/24
Re: [isabelle-dev] Towards the Isabelle2017 release
Florian Haftmann
2017/08/24
Re: [isabelle-dev] Towards the Isabelle2017 release
Thiemann, Rene
2017/08/23
Re: [isabelle-dev] Towards the Isabelle2017 release
Lawrence Paulson
2017/08/23
Re: [isabelle-dev] Towards the Isabelle2017 release
Viorel Preoteasa
2017/08/22
[isabelle-dev] NEWS: Pattern Aliases
Lars Hupel
2017/08/21
[isabelle-dev] Towards the Isabelle2017 release
Makarius
2017/08/21
[isabelle-dev] NEWS: restart of main Isabelle/jEdit plugin
Makarius
2017/08/20
Re: [isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/08/20
Re: [isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/08/20
Re: [isabelle-dev] [158c513a39f5] JVM crash
Lars Hupel
2017/08/19
Re: [isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/08/19
Re: [isabelle-dev] [158c513a39f5] JVM crash
Makarius
2017/08/19
Re: [isabelle-dev] [158c513a39f5] JVM crash
Makarius
2017/08/19
Re: [isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/08/19
Re: [isabelle-dev] [158c513a39f5] JVM crash
Makarius
2017/08/19
Re: [isabelle-dev] [158c513a39f5] JVM crash
Makarius
2017/08/19
Re: [isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/08/19
Re: [isabelle-dev] [158c513a39f5] JVM crash
Makarius
2017/08/19
Re: [isabelle-dev] [158c513a39f5] JVM crash
Lars Hupel
2017/08/19
[isabelle-dev] [158c513a39f5] JVM crash
Manuel Eberl
2017/08/18
[isabelle-dev] Unused theory sources in AFP
Makarius
2017/08/18
[isabelle-dev] NEWS: session-qualified theory imports
Makarius
2017/08/16
Re: [isabelle-dev] [Spam] Fwd: added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Tobias Nipkow
2017/08/16
Re: [isabelle-dev] [Spam] Fwd: added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Peter Lammich
2017/08/16
Re: [isabelle-dev] [Spam] Fwd: added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Makarius
Earlier messages
Later messages