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