24 May 2013 23:37Makarius
*/bin/kill broken on some recent Linux versions
24 May 2013 23:19Makarius
*NEWS: isabelle_scala_script wrapper
24 May 2013 04:57Christian Sternagel
*adhoc overloading
24 May 2013 20:28Makarius
**adhoc overloading
23 May 2013 14:30Jasmin Christian Blanchette
*Build problem
23 May 2013 14:39Jasmin Christian Blanchette
**Build problem
23 May 2013 17:40Makarius
***Build problem
23 May 2013 12:28Sascha Boehme
*Isabelle on Cygwin
23 May 2013 13:46Makarius
**Isabelle on Cygwin
22 May 2013 19:44Lars Noschinski
*Strange interaction of locales and constant definitions
22 May 2013 22:16Clemens Ballarin
**Strange interaction of locales and constant definitions
23 May 2013 09:21Lars Noschinski
***Strange interaction of locales and constant definitions
22 May 2013 17:14Roger H.
*The-operator
22 May 2013 13:35Roger H.
*Partial functions
17 May 2013 22:40Makarius
*NEWS: more uniform options (e.g. quick_and_dirty)
16 May 2013 12:40Makarius
*ProofGeneral/PGIP spring cleaning
15 May 2013 16:13Makarius
*Java 8 delayed
15 May 2013 12:01Ondřej Kunčar
*I don't understand isatest AFP report
15 May 2013 13:09Makarius
**I don't understand isatest AFP report
15 May 2013 13:53Andreas Lochbihler
***I don't understand isatest AFP report
15 May 2013 14:05Makarius
****I don't understand isatest AFP report
15 May 2013 13:28Gerwin Klein
**I don't understand isatest AFP report
15 May 2013 15:24Ondřej Kunčar
***I don't understand isatest AFP report
15 May 2013 15:33Makarius
***I don't understand isatest AFP report
16 May 2013 00:50Gerwin Klein
****I don't understand isatest AFP report
16 May 2013 12:53Makarius
*****I don't understand isatest AFP report
17 May 2013 17:38Makarius
******I don't understand isatest AFP report
15 May 2013 10:52Ondřej Kunčar
*a problem with interpretations in FinFun
15 May 2013 11:07Ondřej Kunčar
**a problem with interpretations in FinFun
13 May 2013 15:01Ondřej Kunčar
*Isabelle takes more time to be built on testboard
13 May 2013 16:54Johannes Hölzl
**Isabelle takes more time to be built on testboard
16 May 2013 17:38Makarius
***Isabelle takes more time to be built on testboard
8 May 2013 05:16Avi Knoll
*Inconsistent output on Isabelle/Scala message buses with parallel proo
13 May 2013 03:47Avi Knoll
**Inconsistent output on Isabelle/Scala message buses with parallel proo
13 May 2013 16:39Makarius
**Inconsistent output on Isabelle/Scala message buses with parallel proo
9 May 2013 03:34Christian Sternagel
*Isabelle/jEdit - code completion
2 May 2013 17:18Lawrence Paulson
*Segmentation faults
11 May 2013 13:21Tjark Weber
**Segmentation faults
12 May 2013 13:24David Matthews
***Segmentation faults
12 May 2013 20:20Lawrence Paulson
****Segmentation faults
2 May 2013 11:26Lukas Erlacher
*Announcing Isabelle work: Access Modifiers for Scala Code Generator
4 May 2013 09:07Florian Haftmann
**Announcing Isabelle work: Access Modifiers for Scala Code Generator
7 May 2013 09:59Fabian Immler
***Announcing Isabelle work: Access Modifiers for Scala Code Generator
13 May 2013 15:16Makarius
***Announcing Isabelle work: Access Modifiers for Scala Code Generator
27 Apr 2013 16:31Florian Haftmann
*Alternative thoughts about certifying and reading input parameters to
29 Apr 2013 05:01Thomas Sewell
**Alternative thoughts about certifying and reading input parameters to
21 May 2013 14:29Makarius
**Alternative thoughts about certifying and reading input parameters to
27 Apr 2013 15:31Florian Haftmann
*Software and Pyramids
27 Apr 2013 15:59Christian Urban
**Software and Pyramids
13 May 2013 14:27Makarius
**Software and Pyramids
25 Apr 2013 12:18Lars Noschinski
*Isabelle/jEdit: by vs. .. on faulty proofs
21 May 2013 14:20Makarius
**Isabelle/jEdit: by vs. .. on faulty proofs
25 Apr 2013 11:39Dmitriy Traytel
*Global build failures of the AFP in the testboard
15 May 2013 15:48Makarius
**Global build failures of the AFP in the testboard
15 May 2013 16:14Dmitriy Traytel
***Global build failures of the AFP in the testboard
15 May 2013 16:34Makarius
****Global build failures of the AFP in the testboard
15 May 2013 16:51Dmitriy Traytel
*****Global build failures of the AFP in the testboard
15 May 2013 17:14Lars Noschinski
*****Global build failures of the AFP in the testboard
15 May 2013 15:55Makarius
**Global build failures of the AFP in the testboard
15 May 2013 17:25Lars Noschinski
***Global build failures of the AFP in the testboard
16 May 2013 00:43Gerwin Klein
****Global build failures of the AFP in the testboard
16 May 2013 12:56Makarius
*****Global build failures of the AFP in the testboard
16 May 2013 18:09Lars Noschinski
*****Global build failures of the AFP in the testboard
17 May 2013 17:24Makarius
******Global build failures of the AFP in the testboard
22 May 2013 12:01Lars Noschinski
*******Global build failures of the AFP in the testboard
23 Apr 2013 19:38Florian Haftmann
*NEWS
22 Apr 2013 16:39Johannes Hölzl
*NEWS
24 Apr 2013 11:45Tjark Weber
**NEWS
25 Apr 2013 10:56Johannes Hölzl
***NEWS
25 Apr 2013 12:03Johannes Hölzl
****linear_continuum_topology (was: NEWS)
21 Apr 2013 02:13Florian Haftmann
*Webview for AFP repository?
22 Apr 2013 13:13Lawrence Paulson
**Webview for AFP repository?
22 Apr 2013 13:15Lars Noschinski
**Webview for AFP repository?
23 Apr 2013 01:30Gerwin Klein
***Webview for AFP repository?
18 Apr 2013 22:44Makarius
*NEWS: simplifier context
18 Apr 2013 17:47Tobias Nipkow
*antiquotations and type_synonyms
21 May 2013 13:49Makarius
**antiquotations and type_synonyms
12 Apr 2013 18:30Makarius
*HOL-Predicate_Compile_Examples failure
12 Apr 2013 14:35Lars Noschinski
*Highlighting of locale variables
12 Apr 2013 15:24Makarius
**Highlighting of locale variables
12 Apr 2013 15:40Lars Noschinski
***Highlighting of locale variables
12 Apr 2013 16:50Makarius
****Highlighting of locale variables
12 Apr 2013 13:08Makarius
*New super-user "gasth"
12 Apr 2013 13:53Tobias Nipkow
**New super-user "gasth"
12 Apr 2013 13:59Makarius
***New super-user "gasth"
12 Apr 2013 14:13Tobias Nipkow
****New super-user "gasth"
11 Apr 2013 11:47Florian Haftmann
*Big Operators
10 Apr 2013 18:16Dmitriy Traytel
*NEWS: Case translations as a separate check phase independent of the d
16 Apr 2013 01:46Brian Huffman
**NEWS: Case translations as a separate check phase independent of the d
16 Apr 2013 11:28Dmitriy Traytel
***NEWS: Case translations as a separate check phase independent of the d
24 Apr 2013 02:10Brian Huffman
**NEWS: Case translations as a separate check phase independent of the d
24 Apr 2013 11:52Dmitriy Traytel
***NEWS: Case translations as a separate check phase independent of the d
24 Apr 2013 16:18Brian Huffman
****NEWS: Case translations as a separate check phase independent of the d
25 Apr 2013 10:02Dmitriy Traytel
*****NEWS: Case translations as a separate check phase independent of the d
8 Apr 2013 17:46Makarius
*NEWS: Antiquotation @{make_string}
5 Apr 2013 13:37Johannes Hölzl
*auto raises a TYPE exception
5 Apr 2013 14:16Makarius
**auto raises a TYPE exception
10 Apr 2013 15:34Johannes Hölzl
***auto raises a TYPE exception
10 Apr 2013 22:41Makarius
****auto raises a TYPE exception
12 Apr 2013 14:18Makarius
*****auto raises a TYPE exception