18 Sep 16:32 2014Florian Haftmann
*Printing integers in Isabelle/ML
18 Sep 15:47 2014Florian Haftmann
*Products over lists – naming convention for big sums and products.
18 Sep 16:11 2014Tobias Nipkow
**Products over lists – naming convention for big sums and products.
18 Sep 16:22 2014Lawrence Paulson
***Products over lists – naming convention for big sums and products.
17 Sep 11:40 2014Jasmin Christian Blanchette
*Datatypes & Isatest failures
18 Sep 12:16 2014Jasmin Christian Blanchette
**Datatypes & Isatest failures
19 Sep 10:26 2014Dmitriy Traytel
**Datatypes & Isatest failures
19 Sep 10:36 2014Lawrence Paulson
***Datatypes & Isatest failures
11 Sep 14:05 2014Jasmin Christian Blanchette
*Sum of Squares server down?
11 Sep 14:07 2014Tobias Nipkow
**Sum of Squares server down?
11 Sep 14:18 2014Lawrence Paulson
***Sum of Squares server down?
12 Sep 08:14 2014Tobias Nipkow
**Sum of Squares server down?
10 Sep 10:49 2014Florian Haftmann
*NEWS: "class_deps" with optional search space constraints
10 Sep 10:51 2014Tobias Nipkow
**NEWS: "class_deps" with optional search space constraints
10 Sep 11:01 2014Dmitriy Traytel
***NEWS: "class_deps" with optional search space constraints
9 Sep 20:30 2014Jasmin Christian Blanchette
*Towards datatype_new ~> datatype
10 Sep 18:16 2014Jasmin Christian Blanchette
**Towards datatype_new ~> datatype
9 Sep 15:33 2014Christian Sternagel
*duplicate fact in List
9 Sep 17:53 2014Tobias Nipkow
**duplicate fact in List
5 Sep 20:12 2014Florian Haftmann
*Problem with type inference in locale expressions
6 Sep 19:17 2014Clemens Ballarin
**Problem with type inference in locale expressions
10 Sep 10:35 2014Florian Haftmann
***Problem with type inference in locale expressions
11 Sep 09:32 2014Florian Haftmann
****Problem with type inference in locale expressions
5 Sep 10:36 2014Jasmin Christian Blanchette
*Proposal for localized interpretations
10 Sep 10:22 2014Florian Haftmann
**Proposal for localized interpretations
11 Sep 18:18 2014Jasmin Christian Blanchette
***Proposal for localized interpretations
15 Sep 21:20 2014Florian Haftmann
****Proposal for localized interpretations
16 Sep 14:30 2014Makarius
**Proposal for localized interpretations
18 Sep 12:24 2014Andreas Lochbihler
**Proposal for localized interpretations
5 Sep 12:27 2014Christian Sternagel
*default cases rule
5 Sep 12:53 2014Dmitriy Traytel
**default cases rule
5 Sep 14:48 2014Jasmin Christian Blanchette
***default cases rule
5 Sep 15:50 2014Christian Sternagel
****default cases rule
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))