23 Oct 14:25 2014Florian Haftmann
*Problem in the AFP
23 Oct 15:37 2014Dmitriy Traytel
**Problem in the AFP
22 Oct 19:24 2014Florian Haftmann
*HOL Importer failure
23 Oct 14:43 2014Florian Haftmann
**HOL Importer failure
21 Oct 12:18 2014Peter Lammich
*Split-lemmas for Option.bind
20 Oct 22:31 2014Lawrence Paulson
*LWP::Simple
21 Oct 09:57 2014Makarius
**LWP::Simple
21 Oct 13:06 2014Lawrence Paulson
***LWP::Simple
20 Oct 17:56 2014Lars Noschinski
*Stripped testboard repository
19 Oct 12:49 2014Makarius
*NEWS: improved folding
18 Oct 00:06 2014Makarius
*Removing TTY / Proof General support
14 Oct 14:29 2014Christian Sternagel
*[isabelle] Imperative_HOL: code generator setup for Haskell
16 Oct 13:11 2014Florian Haftmann
**[isabelle] Imperative_HOL: code generator setup for Haskell
9 Oct 11:09 2014Johannes Hölzl
*@ML antiquotation in generated code
20 Oct 17:55 2014Makarius
**@ML antiquotation in generated code
8 Oct 21:01 2014Makarius
*Remaining uses of Python?
9 Oct 15:32 2014Florian Haftmann
**Remaining uses of Python?
8 Oct 20:46 2014Makarius
*NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
10 Oct 08:25 2014Dmitriy Traytel
**NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
22 Oct 14:51 2014Makarius
**NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
24 Oct 08:07 2014René Thiemann
***NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
8 Oct 20:41 2014Makarius
*NEWS: simplified "sos" method
8 Oct 00:25 2014Makarius
*NEWS: update_cartouches
9 Oct 06:56 2014Tobias Nipkow
**NEWS: update_cartouches
2 Oct 18:13 2014Florian Haftmann
*Let and tuple case expressions
2 Oct 18:42 2014Lawrence Paulson
**Let and tuple case expressions
2 Oct 18:51 2014Tobias Nipkow
***Let and tuple case expressions
3 Oct 19:05 2014Brian Huffman
**Let and tuple case expressions
2 Oct 17:55 2014Florian Haftmann
*NEWS and INCOMPATIBILITY
2 Oct 18:41 2014Lawrence Paulson
**NEWS and INCOMPATIBILITY
1 Oct 14:27 2014Christian Sternagel
*rtrancl lemma proposal
1 Oct 14:41 2014Peter Lammich
**rtrancl lemma proposal
25 Sep 15:00 2014Christian Sternagel
*Imperative HOL: missing parenthesis for Haskell code generation of do-
25 Sep 16:43 2014Florian Haftmann
**Imperative HOL: missing parenthesis for Haskell code generation of do-
27 Sep 09:12 2014Florian Haftmann
***Imperative HOL: missing parenthesis for Haskell code generation of do-
24 Sep 18:06 2014Leo Freitas
*distributed installation + sledgehammer file write permissions
24 Sep 20:42 2014Makarius
**distributed installation + sledgehammer file write permissions
21 Sep 17:04 2014Florian Haftmann
*NEWS: Lexically unsigned numerals for HOL
21 Sep 17:24 2014Tobias Nipkow
**NEWS: Lexically unsigned numerals for HOL
22 Sep 15:25 2014Lawrence Paulson
**NEWS: Lexically unsigned numerals for HOL
25 Sep 16:23 2014Florian Haftmann
***NEWS: Lexically unsigned numerals for HOL
22 Sep 20:50 2014Makarius
**NEWS: Lexically unsigned numerals for HOL
22 Sep 22:20 2014Makarius
***NEWS: Lexically unsigned numerals for HOL
18 Sep 16:32 2014Florian Haftmann
*Printing integers in Isabelle/ML
22 Sep 10:11 2014Makarius
**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.
24 Sep 12:18 2014Johannes Hölzl
**Products over lists – naming convention for big sums and products.
24 Sep 13:44 2014Lawrence Paulson
***Products over lists – naming convention for big sums and products.
25 Sep 07:32 2014Tobias Nipkow
***Products over lists – naming convention for big sums and products.
25 Sep 16:32 2014Florian Haftmann
****Products over lists – naming convention for big sums and products.
25 Sep 18:32 2014Tobias Nipkow
*****Products over lists – naming convention for big sums and products.
27 Sep 09:15 2014Florian Haftmann
******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
25 Sep 10:41 2014Florian Haftmann
***Datatypes & Isatest failures
25 Sep 11:11 2014Jasmin Christian Blanchette
****Datatypes & Isatest failures
25 Sep 21:25 2014Makarius
*****Datatypes & Isatest failures
29 Sep 15:51 2014Makarius
******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?
22 Sep 16:52 2014Makarius
****Sum of Squares server down?
22 Sep 17:15 2014Tobias Nipkow
*****Sum of Squares server down?
22 Sep 18:43 2014Makarius
******Sum of Squares server down?
22 Sep 22:23 2014Makarius
*******Sum of Squares server down?
22 Sep 17:55 2014Lawrence Paulson
*****Sum of Squares server down?
22 Sep 18:26 2014Tobias Nipkow
******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
12 Oct 20:46 2014Makarius
***Proposal for localized interpretations
13 Oct 23:38 2014Makarius
****Proposal for localized interpretations
18 Sep 12:24 2014Andreas Lochbihler
**Proposal for localized interpretations
25 Sep 10:50 2014Florian Haftmann
***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
8 Oct 22:02 2014Makarius
*****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