Messages by Date
-
2014/06/28
[isabelle-dev] NEWS: Updated and extended manuals
Makarius
-
2014/06/28
Re: [isabelle-dev] JEdit FAILED
Florian Haftmann
-
2014/06/28
Re: [isabelle-dev] JEdit FAILED
Makarius
-
2014/06/28
[isabelle-dev] JEdit FAILED
Florian Haftmann
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Lars Noschinski
-
2014/06/27
[isabelle-dev] Error highlighting in ML for @{lemma}
Lars Noschinski
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Isabelle/jedit reports that file was changed on disk
Makarius
-
2014/06/27
[isabelle-dev] Isabelle/jedit reports that file was changed on disk
Clemens Ballarin
-
2014/06/27
Re: [isabelle-dev] Help
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Peter Lammich
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Peter Lammich
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Peter Lammich
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Peter Lammich
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/27
Re: [isabelle-dev] Remaining uses of Proof General?
Lars Noschinski
-
2014/06/27
Re: [isabelle-dev] Problems with datatype-new
Jasmin Christian Blanchette
-
2014/06/26
Re: [isabelle-dev] Remaining uses of Proof General?
John Wickerson
-
2014/06/26
Re: [isabelle-dev] Remaining uses of Proof General?
Peter Lammich
-
2014/06/26
[isabelle-dev] jdk-7u60
Makarius
-
2014/06/26
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/06/26
Re: [isabelle-dev] Has anyone ever run out of memory trying to *start* to build the AFP?
Makarius
-
2014/06/26
Re: [isabelle-dev] Problems with datatype-new
Dmitriy Traytel
-
2014/06/25
[isabelle-dev] Problems with datatype-new
René Thiemann
-
2014/06/25
Re: [isabelle-dev] AFP: Failing entries
Gerwin Klein
-
2014/06/25
[isabelle-dev] AFP: Failing entries
Peter Lammich
-
2014/06/20
Re: [isabelle-dev] Build problems in AFP with current tips
Johannes Hölzl
-
2014/06/18
Re: [isabelle-dev] [isabelle] Code_Abstract_Nat raises exception for a variable with name g
Florian Haftmann
-
2014/06/18
Re: [isabelle-dev] Build problems in AFP with current tips
Florian Haftmann
-
2014/06/18
Re: [isabelle-dev] Build problems in AFP with current tips
Florian Haftmann
-
2014/06/18
Re: [isabelle-dev] Build problems in AFP with current tips
Lawrence Paulson
-
2014/06/18
[isabelle-dev] Build problems in AFP with current tips
Florian Haftmann
-
2014/06/18
[isabelle-dev] NEWS: enabled MaSh by default
Jasmin Christian Blanchette
-
2014/06/18
[isabelle-dev] NEWS: enabled MaSh by default
Jasmin Christian Blanchette
-
2014/06/16
Re: [isabelle-dev] Help
John Wickerson
-
2014/06/16
[isabelle-dev] Help
Adamu sani yahaya
-
2014/06/13
Re: [isabelle-dev] export_code theory wildcard exports too much
Florian Haftmann
-
2014/06/13
[isabelle-dev] export_code theory wildcard exports too much
René Neumann
-
2014/06/13
Re: [isabelle-dev] [isabelle] New AFP entry: Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
Gerwin Klein
-
2014/06/13
[isabelle-dev] Fwd: [isabelle] New AFP entry: Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
Dmitriy Traytel
-
2014/06/12
Re: [isabelle-dev] AFP failures near 7f7ca3a43026
Gerwin Klein
-
2014/06/12
[isabelle-dev] White space in theory names
Florian Haftmann
-
2014/06/12
Re: [isabelle-dev] AFP failures near 7f7ca3a43026
Florian Haftmann
-
2014/06/12
[isabelle-dev] transfer with integers needs including / not documented in NEWS
René Neumann
-
2014/06/12
Re: [isabelle-dev] AFP failures near 7f7ca3a43026
Lawrence Paulson
-
2014/06/12
Re: [isabelle-dev] AFP failures near 7f7ca3a43026
Jasmin Christian Blanchette
-
2014/06/12
Re: [isabelle-dev] AFP failures near 7f7ca3a43026
Gerwin Klein
-
2014/06/12
Re: [isabelle-dev] unit :: complete_boolean_algebra – 697e0fad9337
Florian Haftmann
-
2014/06/12
Re: [isabelle-dev] AFP failures near 7f7ca3a43026
Florian Haftmann
-
2014/06/12
Re: [isabelle-dev] AFP failures near 7f7ca3a43026
Jasmin Christian Blanchette
-
2014/06/11
Re: [isabelle-dev] AFP failures near 7f7ca3a43026
Tobias Nipkow
-
2014/06/11
Re: [isabelle-dev] AFP failures near 7f7ca3a43026
Gerwin Klein
-
2014/06/11
[isabelle-dev] AFP failures near 7f7ca3a43026
Florian Haftmann
-
2014/06/11
Re: [isabelle-dev] Towards the Isabelle2014 release
Lawrence Paulson
-
2014/06/11
Re: [isabelle-dev] Towards the Isabelle2014 release
Lars Noschinski
-
2014/06/11
Re: [isabelle-dev] Towards the Isabelle2014 release
Gerwin Klein
-
2014/06/11
Re: [isabelle-dev] unit :: complete_boolean_algebra – 697e0fad9337
Andreas Lochbihler
-
2014/06/10
[isabelle-dev] unit :: complete_boolean_algebra – 697e0fad9337
Florian Haftmann
-
2014/06/09
[isabelle-dev] Named target renovation
Florian Haftmann
-
2014/06/09
Re: [isabelle-dev] Towards the Isabelle2014 release
Florian Haftmann
-
2014/06/05
Re: [isabelle-dev] Has anyone ever run out of memory trying to *start* to build the AFP?
Tobias Nipkow
-
2014/06/05
[isabelle-dev] Has anyone ever run out of memory trying to *start* to build the AFP?
Thomas Sewell
-
2014/06/05
Re: [isabelle-dev] Towards the Isabelle2014 release
Lawrence Paulson
-
2014/06/04
Re: [isabelle-dev] Towards the Isabelle2014 release
Lars Noschinski
-
2014/06/04
Re: [isabelle-dev] Towards the Isabelle2014 release
Thomas Sewell
-
2014/06/04
Re: [isabelle-dev] Testboard problem
Lars Noschinski
-
2014/06/04
Re: [isabelle-dev] Towards the Isabelle2014 release
Lawrence Paulson
-
2014/06/04
Re: [isabelle-dev] Testboard problem
Johannes Hölzl
-
2014/06/04
[isabelle-dev] Testboard problem
Johannes Hölzl
-
2014/06/03
Re: [isabelle-dev] Towards the Isabelle2014 release
Thomas Sewell
-
2014/06/03
[isabelle-dev] New user: steckerm
Jasmin Christian Blanchette
-
2014/05/30
[isabelle-dev] Towards the Isabelle2014 release
Makarius
-
2014/05/28
[isabelle-dev] NEWS: support for regular TeX installation on Windows
Makarius
-
2014/05/28
Re: [isabelle-dev] Notes on datatype_new list
Jasmin Christian Blanchette
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Florian Haftmann
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Florian Haftmann
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Makarius
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Tobias Nipkow
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Jasmin Christian Blanchette
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Makarius
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Makarius
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Makarius
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Jasmin Blanchette
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Makarius
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Jasmin Christian Blanchette
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Andrei Popescu
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Jasmin Blanchette
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Jasmin Blanchette
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Dmitriy Traytel
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Makarius
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Lawrence Paulson
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Dmitriy Traytel
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Jasmin Christian Blanchette
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Makarius
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Tobias Nipkow
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Dmitriy Traytel
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Thomas Sewell
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Makarius
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Dmitriy Traytel
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Tobias Nipkow
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Jasmin Blanchette
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Tobias Nipkow
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Jasmin Christian Blanchette
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Tobias Nipkow
-
2014/05/26
Re: [isabelle-dev] Notes on datatype_new list
Tobias Nipkow
-
2014/05/25
Re: [isabelle-dev] Notes on datatype_new list
Jasmin Christian Blanchette
-
2014/05/25
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/05/25
Re: [isabelle-dev] Remaining uses of Proof General?
Jasmin Blanchette
-
2014/05/25
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/05/25
Re: [isabelle-dev] Remaining uses of Proof General?
Jasmin Christian Blanchette
-
2014/05/24
Re: [isabelle-dev] Notes on datatype_new list
Andrei Popescu
-
2014/05/24
Re: [isabelle-dev] isabelle-dev Digest, Vol 84, Issue 31
Andrei Popescu
-
2014/05/24
Re: [isabelle-dev] isabelle-dev Digest, Vol 84, Issue 31
Makarius
-
2014/05/24
Re: [isabelle-dev] isabelle-dev Digest, Vol 84, Issue 31
Andrei Popescu
-
2014/05/24
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/05/24
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/05/23
[isabelle-dev] Notes on datatype_new list
Makarius
-
2014/05/22
Re: [isabelle-dev] Making Scala Graph_View happy [was: jdk-8u5]
Makarius
-
2014/05/21
Re: [isabelle-dev] NEWS: improved syntactic and semantic completion mechanism
Makarius
-
2014/05/21
Re: [isabelle-dev] NEWS: improved syntactic and semantic completion mechanism
Makarius
-
2014/05/21
Re: [isabelle-dev] NEWS: improved syntactic and semantic completion mechanism
Makarius
-
2014/05/21
Re: [isabelle-dev] NEWS: Improved management of dockable windows
Makarius
-
2014/05/21
Re: [isabelle-dev] NEWS: Improved management of dockable windows
Makarius
-
2014/05/21
Re: [isabelle-dev] NEWS: Improved management of dockable windows
Makarius
-
2014/05/21
Re: [isabelle-dev] NEWS: improved syntactic and semantic completion mechanism
Lars Noschinski
-
2014/05/21
Re: [isabelle-dev] NEWS: improved syntactic and semantic completion mechanism
Lars Noschinski
-
2014/05/21
Re: [isabelle-dev] NEWS: Improved management of dockable windows
Lars Noschinski
-
2014/05/19
Re: [isabelle-dev] bnf_decl axiomatization
Makarius
-
2014/05/19
Re: [isabelle-dev] neg_numeral fallout
Lars Noschinski
-
2014/05/17
Re: [isabelle-dev] neg_numeral fallout
Florian Haftmann
-
2014/05/16
Re: [isabelle-dev] Errors in right bar shadowed by warnings
Makarius
-
2014/05/16
Re: [isabelle-dev] neg_numeral fallout
Lars Noschinski
-
2014/05/16
Re: [isabelle-dev] AFP
Andrei Popescu
-
2014/05/16
Re: [isabelle-dev] neg_numeral fallout
Lars Noschinski
-
2014/05/16
Re: [isabelle-dev] neg_numeral fallout
Gerwin Klein
-
2014/05/16
Re: [isabelle-dev] neg_numeral fallout
Lars Noschinski
-
2014/05/16
Re: [isabelle-dev] AFP
Makarius
-
2014/05/16
Re: [isabelle-dev] AFP
Makarius
-
2014/05/15
Re: [isabelle-dev] AFP
Andrei Popescu
-
2014/05/15
Re: [isabelle-dev] AFP
Makarius
-
2014/05/15
Re: [isabelle-dev] AFP
Tobias Nipkow
-
2014/05/15
Re: [isabelle-dev] AFP
Makarius
-
2014/05/15
Re: [isabelle-dev] AFP
Makarius
-
2014/05/15
Re: [isabelle-dev] AFP
Andrei Popescu
-
2014/05/15
Re: [isabelle-dev] AFP
Jasmin Christian Blanchette
-
2014/05/15
Re: [isabelle-dev] AFP
Tobias Nipkow
-
2014/05/15
[isabelle-dev] AFP
Florian Haftmann
-
2014/05/15
Re: [isabelle-dev] BNF, -: flag, and sizes
Jasmin Christian Blanchette
-
2014/05/15
[isabelle-dev] Errors in right bar shadowed by warnings
Lars Noschinski
-
2014/05/15
[isabelle-dev] BNF, -: flag, and sizes
René Thiemann
-
2014/05/14
Re: [isabelle-dev] HOL-Proofs
Makarius
-
2014/05/14
Re: [isabelle-dev] HOL-Proofs
Tobias Nipkow
-
2014/05/14
Re: [isabelle-dev] HOL-Proofs
Makarius
-
2014/05/14
[isabelle-dev] Poly/ML 5.5.2
Makarius
-
2014/05/14
Re: [isabelle-dev] HOL-Proofs
David Matthews
-
2014/05/13
Re: [isabelle-dev] HOL-Proofs
Tobias Nipkow
-
2014/05/13
Re: [isabelle-dev] HOL-Proofs
Ondřej Kunčar
-
2014/05/13
Re: [isabelle-dev] HOL-Proofs
Makarius
-
2014/05/13
[isabelle-dev] HOL-Proofs
Tobias Nipkow
-
2014/05/13
Re: [isabelle-dev] bnf_decl axiomatization
Makarius
-
2014/05/13
Re: [isabelle-dev] bnf_decl axiomatization
Jasmin Blanchette
-
2014/05/13
Re: [isabelle-dev] NEWS: avoid the Complex constructor, use the more natural
Andrei Popescu
-
2014/05/13
Re: [isabelle-dev] bnf_decl axiomatization
Makarius
-
2014/05/13
Re: [isabelle-dev] NEWS: avoid the Complex constructor, use the more natural
Jasmin Christian Blanchette
-
2014/05/13
Re: [isabelle-dev] NEWS: avoid the Complex constructor, use the more natural
Manuel Eberl
-
2014/05/13
Re: [isabelle-dev] NEWS: avoid the Complex constructor, use the more natural
Lawrence Paulson
-
2014/05/13
Re: [isabelle-dev] NEWS: avoid the Complex constructor, use the more natural
Johannes Hölzl
-
2014/05/13
Re: [isabelle-dev] bnf_decl axiomatization
Dmitriy Traytel
-
2014/05/13
Re: [isabelle-dev] Remaining uses of Proof General?
Andreas Lochbihler
-
2014/05/12
Re: [isabelle-dev] bnf_decl axiomatization
Jasmin Christian Blanchette
-
2014/05/12
Re: [isabelle-dev] bnf_decl axiomatization
Makarius
-
2014/05/12
Re: [isabelle-dev] bnf_decl axiomatization
Dmitriy Traytel
-
2014/05/12
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/05/12
Re: [isabelle-dev] Remaining uses of Proof General?
Florian Haftmann
-
2014/05/12
[isabelle-dev] bnf_decl axiomatization
Makarius
-
2014/05/12
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/05/12
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/05/12
Re: [isabelle-dev] Remaining uses of Proof General?
Makarius
-
2014/05/12
[isabelle-dev] NEWS: Improved management of dockable windows
Makarius
-
2014/05/12
Re: [isabelle-dev] NEWS: new internal proof-producing SAT solver
Makarius
-
2014/05/11
Re: [isabelle-dev] NEWS: new internal proof-producing SAT solver
Tjark Weber
-
2014/05/11
Re: [isabelle-dev] NEWS: avoid the Complex constructor, use the more natural
Andrei Popescu
-
2014/05/10
Re: [isabelle-dev] NEWS: avoid the Complex constructor, use the more natural Re/Im view
Manuel Eberl
-
2014/05/09
Re: [isabelle-dev] NEWS: new internal proof-producing SAT solver
Tjark Weber