25 Jul 16:07 2014Makarius
*Towards the Isabelle2014 release
24 Jul 14:32 2014Makarius
*NEWS: improved syntactic and semantic completion mechanism
22 Jul 22:26 2014Florian Haftmann
*Website – Link to Narkive from Isabelle User Mailing List is broken
22 Jul 22:33 2014Makarius
** Website – Link to Narkive from Isabelle User Mailing List is broken
26 Jul 14:56 2014Makarius
*** Website – Link to Narkive from Isabelle User Mailing List is broken
19 Jul 21:30 2014Gerwin Klein
*ISABELLE_GHC/quickcheck
20 Jul 07:18 2014Florian Haftmann
**ISABELLE_GHC/quickcheck
20 Jul 10:12 2014Gerwin Klein
***ISABELLE_GHC/quickcheck
21 Jul 08:40 2014Andreas Lochbihler
**ISABELLE_GHC/quickcheck
21 Jul 09:20 2014Gerwin Klein
***ISABELLE_GHC/quickcheck
21 Jul 13:21 2014Makarius
****ISABELLE_GHC/quickcheck
14 Jul 12:56 2014Christian Sternagel
*datatype_new problem
14 Jul 16:58 2014Christian Sternagel
**datatype_new problem
15 Jul 00:37 2014Jasmin Christian Blanchette
**datatype_new problem
11 Jul 14:54 2014Askar Safin
*show "A ==> B"
11 Jul 15:41 2014Makarius
***** Spam *** show "A ==> B"
11 Jul 16:51 2014Brian Huffman
**show "A ==> B"
7 Jul 11:38 2014Makarius
*Towards the Isabelle2014 release
9 Jul 18:49 2014Jasmin Christian Blanchette
**Towards the Isabelle2014 release
21 Jul 22:11 2014Makarius
***Towards the Isabelle2014 release
26 Jul 10:47 2014Makarius
****Towards the Isabelle2014 release
27 Jul 16:57 2014Makarius
*****Towards the Isabelle2014 release
5 Jul 17:15 2014Makarius
*Old 'defs'
5 Jul 17:19 2014Florian Haftmann
**Old 'defs'
7 Jul 08:36 2014Andreas Lochbihler
**Old 'defs'
11 Jul 16:03 2014Makarius
***Old 'defs'
4 Jul 07:48 2014Leo Freitas
*sledgehammer "problem malformed" message
4 Jul 15:22 2014Jasmin Christian Blanchette
**sledgehammer "problem malformed" message
12 Jul 14:10 2014Jasmin Christian Blanchette
**sledgehammer "problem malformed" message
3 Jul 22:30 2014Makarius
*Towards the Isabelle2014 release
3 Jul 22:41 2014Gerwin Klein
**Towards the Isabelle2014 release
3 Jul 13:57 2014Peter Lammich
*Methods that fail with stack-overflow
3 Jul 13:59 2014Lars Noschinski
**Methods that fail with stack-overflow
3 Jul 15:13 2014Makarius
***Methods that fail with stack-overflow
3 Jul 13:59 2014Dmitriy Traytel
**Methods that fail with stack-overflow
3 Jul 14:16 2014Tobias Nipkow
**Methods that fail with stack-overflow
3 Jul 16:23 2014Johannes Hölzl
***Methods that fail with stack-overflow
3 Jul 18:45 2014Makarius
****Methods that fail with stack-overflow
1 Jul 22:33 2014Makarius
*Bad state of repository
1 Jul 23:11 2014Jasmin Christian Blanchette
**Bad state of repository
1 Jul 16:30 2014Makarius
*Towards the Isabelle2014 release
1 Jul 16:41 2014Makarius
**Towards the Isabelle2014 release
4 Jul 14:09 2014Makarius
**Towards the Isabelle2014 release
5 Jul 12:50 2014Makarius
***Towards the Isabelle2014 release
5 Jul 16:08 2014Florian Haftmann
****Towards the Isabelle2014 release
5 Jul 20:56 2014Makarius
****Towards the Isabelle2014 release
30 Jun 15:59 2014Christian Sternagel
*pull request (HOL-Library/Sublist(_Order))
30 Jun 20:37 2014Florian Haftmann
**pull request (HOL-Library/Sublist(_Order))
3 Jul 14:41 2014Florian Haftmann
**pull request (HOL-Library/Sublist(_Order))
3 Jul 14:49 2014Christian Sternagel
***pull request (HOL-Library/Sublist(_Order))
30 Jun 12:18 2014Makarius
*NEWS: Proof General is now an optional component
30 Jun 12:11 2014Makarius
*NEWS: "isabelle tty" is superseded by "isabelle console"
29 Jun 18:08 2014Florian Haftmann
*Product on lists
29 Jun 18:00 2014Florian Haftmann
*Code preprocessor tracing
29 Jun 17:57 2014Florian Haftmann
*JinjaThreads CYCLES-Exception at export-code
28 Jun 19:12 2014Florian Haftmann
*Theory_Data.extend still needed?
4 Jul 13:29 2014Makarius
**Theory_Data.extend still needed?
28 Jun 17:12 2014Makarius
*NEWS: Updated and extended manuals
28 Jun 16:07 2014Florian Haftmann
*JEdit FAILED
28 Jun 16:18 2014Makarius
**JEdit FAILED
28 Jun 17:08 2014Florian Haftmann
***JEdit FAILED
28 Jun 17:14 2014Makarius
****JEdit FAILED
28 Jun 17:24 2014Makarius
*****JEdit FAILED
29 Jun 21:35 2014Lars Noschinski
******JEdit FAILED
11 Jul 13:27 2014Florian Haftmann
*******JEdit FAILED
28 Jun 07:57 2014Lars Noschinski
*Error highlighting in ML for @{lemma}
28 Jun 18:29 2014Makarius
**Error highlighting in ML for @{lemma}
27 Jun 21:14 2014Clemens Ballarin
*Isabelle/jedit reports that file was changed on disk
27 Jun 22:47 2014Makarius
**Isabelle/jedit reports that file was changed on disk
26 Jun 23:30 2014Makarius
*jdk-7u60
25 Jun 13:49 2014René Thiemann
*Problems with datatype-new
26 Jun 09:48 2014Dmitriy Traytel
**Problems with datatype-new
27 Jun 10:27 2014Jasmin Christian Blanchette
**Problems with datatype-new
25 Jun 12:02 2014Peter Lammich
*AFP: Failing entries
25 Jun 13:25 2014Gerwin Klein
**AFP: Failing entries
30 Jun 11:20 2014Peter Lammich
***AFP: Failing entries
30 Jun 11:30 2014Gerwin Klein
****AFP: Failing entries
18 Jun 19:47 2014Florian Haftmann
*Build problems in AFP with current tips
18 Jun 21:39 2014Lawrence Paulson
**Build problems in AFP with current tips
18 Jun 22:15 2014Florian Haftmann
***Build problems in AFP with current tips
18 Jun 22:32 2014Florian Haftmann
***Build problems in AFP with current tips
20 Jun 11:29 2014Johannes Hölzl
****Build problems in AFP with current tips
18 Jun 13:44 2014Jasmin Christian Blanchette
*NEWS: enabled MaSh by default
18 Jun 13:37 2014Jasmin Christian Blanchette
*NEWS: enabled MaSh by default
11 Jun 13:45 2014Adamu sani yahaya
*Help
16 Jun 17:38 2014John Wickerson
**Help
27 Jun 19:52 2014Makarius
***Help
13 Jun 17:51 2014René Neumann
*export_code theory wildcard exports too much
13 Jun 21:47 2014Florian Haftmann
**export_code theory wildcard exports too much
12 Jun 20:59 2014Florian Haftmann
*White space in theory names
4 Jul 13:18 2014Makarius
**White space in theory names
12 Jun 15:10 2014René Neumann
*transfer with integers needs including / not documented in NEWS
11 Jun 23:56 2014Florian Haftmann
*AFP failures near 7f7ca3a43026
12 Jun 00:58 2014Gerwin Klein
**AFP failures near 7f7ca3a43026
12 Jun 10:11 2014Jasmin Christian Blanchette
***AFP failures near 7f7ca3a43026
12 Jun 10:38 2014Florian Haftmann
****AFP failures near 7f7ca3a43026
12 Jun 10:49 2014Gerwin Klein
****AFP failures near 7f7ca3a43026
12 Jun 11:52 2014Jasmin Christian Blanchette
*****AFP failures near 7f7ca3a43026
12 Jun 13:33 2014Lawrence Paulson
******AFP failures near 7f7ca3a43026
12 Jun 20:52 2014Florian Haftmann
******AFP failures near 7f7ca3a43026