June 2014 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Tue Jun 3 15:48:31 CEST 2014
Ending: Mon Jun 30 20:37:45 CEST 2014
Messages: 107

• [isabelle-dev] [isabelle] Code_Abstract_Nat raises exception for a variable with name g   Florian Haftmann
• [isabelle-dev] [isabelle] Code_Abstract_Nat raises exception for a variable with name g   Florian Haftmann
• [isabelle-dev] [isabelle] New AFP entry: Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions   Gerwin Klein
• [isabelle-dev] AFP: Failing entries   Peter Lammich
• [isabelle-dev] AFP: Failing entries   Gerwin Klein
• [isabelle-dev] AFP: Failing entries   Peter Lammich
• [isabelle-dev] AFP: Failing entries   Gerwin Klein
• [isabelle-dev] AFP failures near 7f7ca3a43026   Florian Haftmann
• [isabelle-dev] AFP failures near 7f7ca3a43026   Gerwin Klein
• [isabelle-dev] AFP failures near 7f7ca3a43026   Tobias Nipkow
• [isabelle-dev] AFP failures near 7f7ca3a43026   Jasmin Christian Blanchette
• [isabelle-dev] AFP failures near 7f7ca3a43026   Florian Haftmann
• [isabelle-dev] AFP failures near 7f7ca3a43026   Gerwin Klein
• [isabelle-dev] AFP failures near 7f7ca3a43026   Jasmin Christian Blanchette
• [isabelle-dev] AFP failures near 7f7ca3a43026   Lawrence Paulson
• [isabelle-dev] AFP failures near 7f7ca3a43026   Florian Haftmann
• [isabelle-dev] AFP failures near 7f7ca3a43026   Gerwin Klein
• [isabelle-dev] Build problems in AFP with current tips   Florian Haftmann
• [isabelle-dev] Build problems in AFP with current tips   Lawrence Paulson
• [isabelle-dev] Build problems in AFP with current tips   Florian Haftmann
• [isabelle-dev] Build problems in AFP with current tips   Florian Haftmann
• [isabelle-dev] Build problems in AFP with current tips   Johannes Hölzl
• [isabelle-dev] Code preprocessor tracing   Florian Haftmann
• [isabelle-dev] Error highlighting in ML for @{lemma}   Lars Noschinski
• [isabelle-dev] Error highlighting in ML for @{lemma}   Makarius
• [isabelle-dev] export_code theory wildcard exports too much   René Neumann
• [isabelle-dev] export_code theory wildcard exports too much   Florian Haftmann
• [isabelle-dev] Fwd: [isabelle] New AFP entry: Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions   Dmitriy Traytel
• [isabelle-dev] Has anyone ever run out of memory trying to *start* to build the AFP?   Thomas Sewell
• [isabelle-dev] Has anyone ever run out of memory trying to *start* to build the AFP?   Tobias Nipkow
• [isabelle-dev] Has anyone ever run out of memory trying to *start* to build the AFP?   Makarius
• [isabelle-dev] Help   Adamu sani yahaya
• [isabelle-dev] Help   John Wickerson
• [isabelle-dev] Help   Makarius
• [isabelle-dev] Isabelle/jedit reports that file was changed on disk   Clemens Ballarin
• [isabelle-dev] Isabelle/jedit reports that file was changed on disk   Makarius
• [isabelle-dev] jdk-7u60   Makarius
• [isabelle-dev] JEdit FAILED   Florian Haftmann
• [isabelle-dev] JEdit FAILED   Makarius
• [isabelle-dev] JEdit FAILED   Florian Haftmann
• [isabelle-dev] JEdit FAILED   Makarius
• [isabelle-dev] JEdit FAILED   Makarius
• [isabelle-dev] JEdit FAILED   Lars Noschinski
• [isabelle-dev] JinjaThreads CYCLES-Exception at export-code   Florian Haftmann
• [isabelle-dev] Named target renovation   Florian Haftmann
• [isabelle-dev] NEWS: "isabelle tty" is superseded by "isabelle console"   Makarius
• [isabelle-dev] NEWS: enabled MaSh by default   Jasmin Christian Blanchette
• [isabelle-dev] NEWS: enabled MaSh by default   Jasmin Christian Blanchette
• [isabelle-dev] NEWS: Proof General is now an optional component   Makarius
• [isabelle-dev] NEWS: Updated and extended manuals   Makarius
• [isabelle-dev] New user: steckerm   Jasmin Christian Blanchette
• [isabelle-dev] Problems with datatype-new   René Thiemann
• [isabelle-dev] Problems with datatype-new   Dmitriy Traytel
• [isabelle-dev] Problems with datatype-new   Jasmin Christian Blanchette
• [isabelle-dev] Product on lists   Florian Haftmann
• [isabelle-dev] pull request (HOL-Library/Sublist(_Order))   Christian Sternagel
• [isabelle-dev] pull request (HOL-Library/Sublist(_Order))   Florian Haftmann
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Peter Lammich
• [isabelle-dev] Remaining uses of Proof General?   John Wickerson
• [isabelle-dev] Remaining uses of Proof General?   Lars Noschinski
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Peter Lammich
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Peter Lammich
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Peter Lammich
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Peter Lammich
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Lars Noschinski
• [isabelle-dev] Remaining uses of Proof General?   Cezary Kaliszyk
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Testboard problem   Johannes Hölzl
• [isabelle-dev] Testboard problem   Johannes Hölzl
• [isabelle-dev] Testboard problem   Lars Noschinski
• [isabelle-dev] Theory_Data.extend still needed?   Florian Haftmann
• [isabelle-dev] Towards the Isabelle2014 release   Thomas Sewell
• [isabelle-dev] Towards the Isabelle2014 release   Lawrence Paulson
• [isabelle-dev] Towards the Isabelle2014 release   Thomas Sewell
• [isabelle-dev] Towards the Isabelle2014 release   Lars Noschinski
• [isabelle-dev] Towards the Isabelle2014 release   Lawrence Paulson
• [isabelle-dev] Towards the Isabelle2014 release   Florian Haftmann
• [isabelle-dev] Towards the Isabelle2014 release   Thomas Sewell
• [isabelle-dev] Towards the Isabelle2014 release   Gerwin Klein
• [isabelle-dev] Towards the Isabelle2014 release   Lars Noschinski
• [isabelle-dev] Towards the Isabelle2014 release   Lawrence Paulson
• [isabelle-dev] Towards the Isabelle2014 release   Makarius
• [isabelle-dev] Towards the Isabelle2014 release   Thomas Sewell
• [isabelle-dev] transfer with integers needs including / not documented in NEWS   René Neumann
• [isabelle-dev] unit :: complete_boolean_algebra – 697e0fad9337   Florian Haftmann
• [isabelle-dev] unit :: complete_boolean_algebra – 697e0fad9337   Andreas Lochbihler
• [isabelle-dev] unit :: complete_boolean_algebra – 697e0fad9337   Florian Haftmann
• [isabelle-dev] White space in theory names   Florian Haftmann

Last message date: Mon Jun 30 20:37:45 CEST 2014
Archived on: Fri Apr 12 08:42:20 CEST 2019

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...