Messages by Date
-
2015/02/14
Re: [isabelle-dev] Start thinking about Isabelle2015 release
Florian Haftmann
-
2015/02/14
Re: [isabelle-dev] Regression in the sublocale command
Florian Haftmann
-
2015/02/13
Re: [isabelle-dev] AFP: Sourceforge down
Makarius
-
2015/02/12
[isabelle-dev] Regression in the sublocale command
Clemens Ballarin
-
2015/02/12
Re: [isabelle-dev] AFP: Sourceforge down
Andreas Lochbihler
-
2015/02/11
Re: [isabelle-dev] How to activate/de-activate unifier-trace from ML-level
Dmitriy Traytel
-
2015/02/10
Re: [isabelle-dev] AFP: Sourceforge down
Makarius
-
2015/02/10
[isabelle-dev] AFP: Sourceforge down
Makarius
-
2015/02/10
Re: [isabelle-dev] How to activate/de-activate unifier-trace from ML-level
Makarius
-
2015/02/05
[isabelle-dev] Start thinking about Isabelle2015 release
Makarius
-
2015/01/29
Re: [isabelle-dev] TYPE_MATCH exception with adhoc_overloading
Florian Haftmann
-
2015/01/29
Re: [isabelle-dev] adhoc overloading: ugly output
Florian Haftmann
-
2015/01/28
Re: [isabelle-dev] adhoc overloading: ugly output
Christian Sternagel
-
2015/01/28
Re: [isabelle-dev] adhoc overloading: ugly output
Florian Haftmann
-
2015/01/28
Re: [isabelle-dev] TYPE_MATCH exception with adhoc_overloading
Christian Sternagel
-
2015/01/28
Re: [isabelle-dev] adhoc overloading: ugly output
Christian Sternagel
-
2015/01/28
Re: [isabelle-dev] adhoc overloading: ugly output
Dmitriy Traytel
-
2015/01/28
Re: [isabelle-dev] adhoc overloading: ugly output
Dmitriy Traytel
-
2015/01/28
Re: [isabelle-dev] adhoc overloading: ugly output
Christian Sternagel
-
2015/01/26
Re: [isabelle-dev] Improved Graphview
Makarius
-
2015/01/26
Re: [isabelle-dev] Improved Graphview
Makarius
-
2015/01/26
Re: [isabelle-dev] Lexical structure of ML strings
Makarius
-
2015/01/26
Re: [isabelle-dev] Lexical structure of ML strings
Florian Haftmann
-
2015/01/26
Re: [isabelle-dev] Lexical structure of ML strings
Christian Sternagel
-
2015/01/26
[isabelle-dev] Lexical structure of ML strings
Florian Haftmann
-
2015/01/23
Re: [isabelle-dev] Improved Graphview
Florian Haftmann
-
2015/01/21
[isabelle-dev] jdk-7u76
Makarius
-
2015/01/21
Re: [isabelle-dev] Improved Graphview
Lars Noschinski
-
2015/01/21
Re: [isabelle-dev] Improved Graphview
Lars Noschinski
-
2015/01/20
Re: [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading
Makarius
-
2015/01/19
Re: [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading
Jasmin Blanchette
-
2015/01/19
Re: [isabelle-dev] isabelle test failed
Florian Haftmann
-
2015/01/19
Re: [isabelle-dev] isabelle test failed
Makarius
-
2015/01/18
Re: [isabelle-dev] Improved Graphview
Makarius
-
2015/01/17
[isabelle-dev] Improved Graphview
Makarius
-
2015/01/17
Re: [isabelle-dev] segmentation faults
Makarius
-
2015/01/16
[isabelle-dev] segmentation faults
Tobias Nipkow
-
2015/01/16
Re: [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading
Christian Sternagel
-
2015/01/16
Re: [isabelle-dev] adhoc overloading: ugly output
Christian Sternagel
-
2015/01/16
[isabelle-dev] adhoc overloading: ugly output
Christian Sternagel
-
2015/01/16
[isabelle-dev] Isabelle/jEdit: imports
Christian Sternagel
-
2015/01/16
Re: [isabelle-dev] Shortcuts for \<^sub> and \<^sup>?
Lars Noschinski
-
2015/01/15
Re: [isabelle-dev] Shortcuts for \<^sub> and \<^sup>?
Makarius
-
2015/01/14
[isabelle-dev] Folding in Isabelle/jEdit
Lars Noschinski
-
2015/01/13
[isabelle-dev] Shortcuts for \<^sub> and \<^sup>?
Lars Noschinski
-
2015/01/09
Re: [isabelle-dev] [isabelle] Sublocale, subclass and execution.
Florian Haftmann
-
2015/01/03
Re: [isabelle-dev] Isabelle/JEdit development
Makarius
-
2015/01/02
[isabelle-dev] Isabelle/JEdit development
Gergely Buday
-
2015/01/02
Re: [isabelle-dev] Metis vs. polymorphism
Lawrence Paulson
-
2014/12/30
Re: [isabelle-dev] Isabelle/ML/Scala parallel computation and PIDE execution
Makarius
-
2014/12/30
[isabelle-dev] Metis vs. polymorphism
Makarius
-
2014/12/30
[isabelle-dev] Isabelle/ML/Scala parallel computation and PIDE execution
Makarius
-
2014/12/23
[isabelle-dev] Patch for latest haskell-src-exts
Andrei Melnikov
-
2014/12/17
Re: [isabelle-dev] AODV
Florian Haftmann
-
2014/12/15
Re: [isabelle-dev] BNF: number of dead variables
Jasmin Christian Blanchette
-
2014/12/15
Re: [isabelle-dev] BNF: number of dead variables
Makarius
-
2014/12/11
[isabelle-dev] Cartouches in Isabelle/ML
Makarius
-
2014/12/11
Re: [isabelle-dev] AODV
Makarius
-
2014/12/10
Re: [isabelle-dev] AODV
Gerwin Klein
-
2014/12/10
Re: [isabelle-dev] AODV
Makarius
-
2014/12/09
Re: [isabelle-dev] AODV
Tobias Nipkow
-
2014/12/09
Re: [isabelle-dev] Isabelle/jEdit: JVM crash
Makarius
-
2014/12/09
Re: [isabelle-dev] AODV
Makarius
-
2014/12/09
Re: [isabelle-dev] AODV
Gerwin Klein
-
2014/12/09
Re: [isabelle-dev] Isabelle/jEdit: JVM crash
Christian Sternagel
-
2014/12/09
Re: [isabelle-dev] Isabelle/jEdit: JVM crash
Makarius
-
2014/12/09
[isabelle-dev] Isabelle/jEdit: JVM crash
Christian Sternagel
-
2014/12/08
Re: [isabelle-dev] Isabelle/PIDE as ML IDE: syntax highlighting of string literals
Makarius
-
2014/12/08
Re: [isabelle-dev] AODV
Makarius
-
2014/12/08
Re: [isabelle-dev] AODV
Florian Haftmann
-
2014/12/06
Re: [isabelle-dev] AODV
Gerwin Klein
-
2014/12/06
[isabelle-dev] AODV
Florian Haftmann
-
2014/12/04
Re: [isabelle-dev] Abbreviations and find_theorems
Gerwin Klein
-
2014/12/04
Re: [isabelle-dev] Duraraion of AFP session AODV
Florian Haftmann
-
2014/12/04
Re: [isabelle-dev] Abbreviations and find_theorems
Florian Haftmann
-
2014/12/03
[isabelle-dev] Outer syntax based on theory structure
Makarius
-
2014/12/03
Re: [isabelle-dev] BNF: number of dead variables
Christian Sternagel
-
2014/12/03
Re: [isabelle-dev] BNF: number of dead variables
Jasmin Christian Blanchette
-
2014/12/03
[isabelle-dev] BNF: number of dead variables
Christian Sternagel
-
2014/12/01
[isabelle-dev] Isabelle/PIDE as ML IDE: syntax highlighting of string literals
Christian Sternagel
-
2014/12/01
Re: [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading
Christian Sternagel
-
2014/11/27
Re: [isabelle-dev] Duraraion of AFP session AODV
Timothy Bourke
-
2014/11/27
Re: [isabelle-dev] Duraraion of AFP session AODV
Florian Haftmann
-
2014/11/27
Re: [isabelle-dev] is_concealed
Florian Haftmann
-
2014/11/27
Re: [isabelle-dev] Abbreviations and find_theorems
Florian Haftmann
-
2014/11/27
Re: [isabelle-dev] Duraraion of AFP session AODV
Timothy Bourke
-
2014/11/27
Re: [isabelle-dev] Duraraion of AFP session AODV
Gerwin Klein
-
2014/11/27
Re: [isabelle-dev] Duraraion of AFP session AODV
Dmitriy Traytel
-
2014/11/26
Re: [isabelle-dev] Abbreviations and find_theorems
Gerwin Klein
-
2014/11/26
Re: [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading
Florian Haftmann
-
2014/11/26
Re: [isabelle-dev] Abbreviations and find_theorems
Florian Haftmann
-
2014/11/26
Re: [isabelle-dev] Abbreviations and find_theorems
Gerwin Klein
-
2014/11/26
Re: [isabelle-dev] Abbreviations and find_theorems
Jasmin Christian Blanchette
-
2014/11/26
Re: [isabelle-dev] Abbreviations and find_theorems
Gerwin Klein
-
2014/11/26
Re: [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
Makarius
-
2014/11/26
Re: [isabelle-dev] Duraraion of AFP session AODV
Gerwin Klein
-
2014/11/26
Re: [isabelle-dev] Duraraion of AFP session AODV
Makarius
-
2014/11/26
Re: [isabelle-dev] Abbreviations and find_theorems
Timothy Bourke
-
2014/11/26
Re: [isabelle-dev] Abbreviations and find_theorems
Florian Haftmann
-
2014/11/26
[isabelle-dev] Duraraion of AFP session AODV
Florian Haftmann
-
2014/11/26
Re: [isabelle-dev] Abbreviations and find_theorems
Florian Haftmann
-
2014/11/26
Re: [isabelle-dev] Proposal for localized interpretations
Florian Haftmann
-
2014/11/26
Re: [isabelle-dev] is_concealed
Florian Haftmann
-
2014/11/26
Re: [isabelle-dev] is_concealed
Florian Haftmann
-
2014/11/24
Re: [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading
Christian Sternagel
-
2014/11/24
Re: [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading
Dmitriy Traytel
-
2014/11/23
Re: [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading
Christian Sternagel
-
2014/11/21
Re: [isabelle-dev] Abbreviations and find_theorems
Makarius
-
2014/11/21
Re: [isabelle-dev] Proposal for localized interpretations
Jasmin Christian Blanchette
-
2014/11/21
Re: [isabelle-dev] BNF: dead or alive?
Dmitriy Traytel
-
2014/11/21
Re: [isabelle-dev] BNF: dead or alive?
Christian Sternagel
-
2014/11/21
Re: [isabelle-dev] BNF: dead or alive?
Dmitriy Traytel
-
2014/11/21
[isabelle-dev] BNF: dead or alive?
Christian Sternagel
-
2014/11/20
Re: [isabelle-dev] is_concealed
Dmitriy Traytel
-
2014/11/17
Re: [isabelle-dev] Unfinished session(s): Abstract_Completeness, Probabilistic_Noninterference
Johannes Hölzl
-
2014/11/17
Re: [isabelle-dev] JinjaThreads FAILED
Johannes Hölzl
-
2014/11/17
[isabelle-dev] Unfinished session(s): Abstract_Completeness, Probabilistic_Noninterference
Florian Haftmann
-
2014/11/16
[isabelle-dev] JinjaThreads FAILED
Florian Haftmann
-
2014/11/15
Re: [isabelle-dev] Abbreviations and find_theorems
Gerwin Klein
-
2014/11/15
Re: [isabelle-dev] Abbreviations and find_theorems
Lawrence Paulson
-
2014/11/15
Re: [isabelle-dev] Abbreviations and find_theorems
Christian Sternagel
-
2014/11/15
[isabelle-dev] Abbreviations and find_theorems
Florian Haftmann
-
2014/11/14
Re: [isabelle-dev] NEWS: uniform document heading commands
Makarius
-
2014/11/12
Re: [isabelle-dev] Algebra and number theory in Isabelle/HOL
Florian Haftmann
-
2014/11/12
Re: [isabelle-dev] Algebra and number theory in Isabelle/HOL
Jose Divasón
-
2014/11/11
Re: [isabelle-dev] HOL broken?
Lars Noschinski
-
2014/11/11
Re: [isabelle-dev] HOL broken?
Lars Noschinski
-
2014/11/11
[isabelle-dev] HOL broken?
Dmitriy Traytel
-
2014/11/10
Re: [isabelle-dev] Algebra and number theory in Isabelle/HOL
Lawrence Paulson
-
2014/11/09
[isabelle-dev] Algebra and number theory in Isabelle/HOL
Florian Haftmann
-
2014/11/09
Re: [isabelle-dev] HOL/Number_Theory/Primes
Florian Haftmann
-
2014/11/09
Re: [isabelle-dev] HOL/Number_Theory/Primes
Florian Haftmann
-
2014/11/07
Re: [isabelle-dev] HOL/Number_Theory/Primes
Tobias Nipkow
-
2014/11/07
Re: [isabelle-dev] HOL/Number_Theory/Primes
Florian Haftmann
-
2014/11/07
Re: [isabelle-dev] HOL/Number_Theory/Primes
Lawrence Paulson
-
2014/11/07
Re: [isabelle-dev] HOL/Number_Theory/Primes
Tobias Nipkow
-
2014/11/07
Re: [isabelle-dev] HOL/Number_Theory/Primes
Peter Lammich
-
2014/11/07
Re: [isabelle-dev] HOL/Number_Theory/Primes
Tobias Nipkow
-
2014/11/07
Re: [isabelle-dev] HOL/Number_Theory/Primes
Dmitriy Traytel
-
2014/11/07
Re: [isabelle-dev] HOL/Number_Theory/Primes
Tobias Nipkow
-
2014/11/07
Re: [isabelle-dev] HOL/Number_Theory/Primes
Dmitriy Traytel
-
2014/11/07
Re: [isabelle-dev] HOL/Number_Theory/Primes
Julian Brunner
-
2014/11/05
Re: [isabelle-dev] HOL/Number_Theory/Primes
Florian Haftmann
-
2014/11/05
Re: [isabelle-dev] HOL/Number_Theory/Primes
Tobias Nipkow
-
2014/11/05
[isabelle-dev] HOL/Number_Theory/Primes
Lawrence Paulson
-
2014/11/04
Re: [isabelle-dev] How to activate/de-activate unifier-trace from ML-level
Makarius
-
2014/11/03
Re: [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
Lawrence Paulson
-
2014/11/03
Re: [isabelle-dev] How to activate/de-activate unifier-trace from ML-level
Peter Lammich
-
2014/11/03
Re: [isabelle-dev] Experiments in best-first-search rewriter
Makarius
-
2014/11/03
Re: [isabelle-dev] NEWS: uniform document heading commands
Johannes Hölzl
-
2014/11/03
Re: [isabelle-dev] NEWS: uniform document heading commands
Timothy Bourke
-
2014/11/03
Re: [isabelle-dev] NEWS: uniform document heading commands
Makarius
-
2014/11/03
Re: [isabelle-dev] How to activate/de-activate unifier-trace from ML-level
Makarius
-
2014/11/03
Re: [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
Makarius
-
2014/11/03
[isabelle-dev] How to activate/de-activate unifier-trace from ML-level
Peter Lammich
-
2014/11/03
Re: [isabelle-dev] NEWS: uniform document heading commands
Timothy Bourke
-
2014/11/02
Re: [isabelle-dev] Experiments in best-first-search rewriter
Bohua Zhan
-
2014/11/02
Re: [isabelle-dev] Experiments in best-first-search rewriter
Tobias Nipkow
-
2014/11/02
[isabelle-dev] NEWS: uniform document heading commands
Makarius
-
2014/11/02
[isabelle-dev] NEWS: command-line terminator "; " is no longer accepted
Makarius
-
2014/11/02
Re: [isabelle-dev] Removing TTY / Proof General support
Makarius
-
2014/11/02
[isabelle-dev] Experiments in best-first-search rewriter
Bohua Zhan
-
2014/10/30
Re: [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
Florian Haftmann
-
2014/10/27
Re: [isabelle-dev] natfloor_div_nat not general enough
Johannes Hölzl
-
2014/10/27
Re: [isabelle-dev] Fwd: [isabelle] natfloor_div_nat not general enough
Johannes Hölzl
-
2014/10/27
[isabelle-dev] RDP 2015 Second Call for Workshops
Łukasz Czajka
-
2014/10/26
[isabelle-dev] Fwd: [isabelle] natfloor_div_nat not general enough
Lawrence Paulson
-
2014/10/26
Re: [isabelle-dev] Proposal for localized interpretations
Makarius
-
2014/10/23
Re: [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
René Thiemann
-
2014/10/23
Re: [isabelle-dev] Problem in the AFP
Dmitriy Traytel
-
2014/10/23
Re: [isabelle-dev] HOL Importer failure
Florian Haftmann
-
2014/10/23
[isabelle-dev] Problem in the AFP
Florian Haftmann
-
2014/10/22
[isabelle-dev] HOL Importer failure
Florian Haftmann
-
2014/10/22
Re: [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
Makarius
-
2014/10/21
Re: [isabelle-dev] [isabelle] Theory Prefix_Order
Julian Brunner
-
2014/10/21
Re: [isabelle-dev] [isabelle] Theory Prefix_Order
Christian Sternagel
-
2014/10/21
Re: [isabelle-dev] LWP::Simple
Lawrence Paulson
-
2014/10/21
[isabelle-dev] Split-lemmas for Option.bind
Peter Lammich
-
2014/10/21
Re: [isabelle-dev] LWP::Simple
Makarius
-
2014/10/20
[isabelle-dev] LWP::Simple
Lawrence Paulson
-
2014/10/20
[isabelle-dev] Stripped testboard repository
Lars Noschinski
-
2014/10/20
Re: [isabelle-dev] @ML antiquotation in generated code
Makarius
-
2014/10/19
[isabelle-dev] NEWS: improved folding
Makarius
-
2014/10/17
[isabelle-dev] Removing TTY / Proof General support
Makarius
-
2014/10/16
Re: [isabelle-dev] [isabelle] Imperative_HOL: code generator setup for Haskell
Florian Haftmann
-
2014/10/14
Re: [isabelle-dev] [isabelle] Imperative_HOL: code generator setup for Haskell
Christian Sternagel
-
2014/10/13
Re: [isabelle-dev] Proposal for localized interpretations
Makarius
-
2014/10/12
Re: [isabelle-dev] Proposal for localized interpretations
Makarius
-
2014/10/09
Re: [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
Dmitriy Traytel
-
2014/10/09
Re: [isabelle-dev] Remaining uses of Python?
Florian Haftmann
-
2014/10/09
[isabelle-dev] @ML antiquotation in generated code
Johannes Hölzl
-
2014/10/08
Re: [isabelle-dev] NEWS: update_cartouches
Tobias Nipkow
-
2014/10/08
Re: [isabelle-dev] default cases rule
Makarius
-
2014/10/08
[isabelle-dev] Remaining uses of Python?
Makarius
-
2014/10/08
[isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
Makarius
-
2014/10/08
[isabelle-dev] NEWS: simplified "sos" method
Makarius
-
2014/10/07
[isabelle-dev] NEWS: update_cartouches
Makarius
-
2014/10/06
Re: [isabelle-dev] Code preprocessor tracing
Andreas Lochbihler
-
2014/10/06
[isabelle-dev] NEWS: bibtex support in Isabelle/jEdit
Makarius
-
2014/10/06
Re: [isabelle-dev] NEWS and INCOMPATIBILITY
Makarius