31 Aug 20:22 2014Florian Haftmann
*Diagnostic value command
28 Aug 07:34 2014Jasmin Christian Blanchette
*NEWS
25 Aug 09:55 2014Andreas Lochbihler
*Testing of generated code
25 Aug 09:04 2014Michael Norrish
*porting code to isabelle2014 and getting "unfinished linear change" er
25 Aug 09:32 2014Lars Noschinski
**porting code to isabelle2014 and getting "unfinished linear change" er
26 Aug 05:12 2014Michael Norrish
***porting code to isabelle2014 and getting "unfinished linear change" er
26 Aug 05:51 2014Michael Norrish
****porting code to isabelle2014 and getting "unfinished linear change" er
26 Aug 09:45 2014Gerwin Klein
*****porting code to isabelle2014 and getting "unfinished linear change" er
15 Aug 12:47 2014Gerwin Klein
*afp-2014 fork
18 Aug 13:37 2014Makarius
**afp-2014 fork
19 Aug 12:06 2014Gerwin Klein
***afp-2014 fork
7 Aug 13:55 2014Makarius
*Towards the Isabelle2014 release
10 Aug 15:13 2014Makarius
**Towards the Isabelle2014 release
11 Aug 14:22 2014Gerwin Klein
***Towards the Isabelle2014 release
6 Aug 15:36 2014Aleksy Schubert
*RDP 2015 Call for Workshops
7 Aug 13:47 2014Makarius
**RDP 2015 Call for Workshops
1 Aug 12:15 2014Lars Noschinski
*Haskabelle test
1 Aug 21:01 2014Florian Haftmann
**Haskabelle test
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