21 Nov 14:09 2014Christian Sternagel
*BNF: dead or alive?
21 Nov 14:43 2014Dmitriy Traytel
**BNF: dead or alive?
21 Nov 15:00 2014Christian Sternagel
***BNF: dead or alive?
21 Nov 15:04 2014Dmitriy Traytel
****BNF: dead or alive?
17 Nov 09:13 2014Florian Haftmann
*Unfinished session(s): Abstract_Completeness, Probabilistic_Noninterfe
17 Nov 09:24 2014Johannes Hölzl
**Unfinished session(s): Abstract_Completeness, Probabilistic_Noninterfe
16 Nov 19:48 2014Florian Haftmann
*JinjaThreads FAILED
17 Nov 09:23 2014Johannes Hölzl
**JinjaThreads FAILED
15 Nov 17:58 2014Florian Haftmann
*Abbreviations and find_theorems
15 Nov 18:04 2014Christian Sternagel
**Abbreviations and find_theorems
16 Nov 00:44 2014Gerwin Klein
***Abbreviations and find_theorems
21 Nov 23:56 2014Makarius
****Abbreviations and find_theorems
15 Nov 18:46 2014Lawrence Paulson
**Abbreviations and find_theorems
11 Nov 18:10 2014Dmitriy Traytel
*HOL broken?
11 Nov 19:37 2014Lars Noschinski
**HOL broken?
11 Nov 19:42 2014Lars Noschinski
***HOL broken?
9 Nov 21:47 2014Florian Haftmann
*Algebra and number theory in Isabelle/HOL
10 Nov 17:36 2014Lawrence Paulson
**Algebra and number theory in Isabelle/HOL
12 Nov 18:35 2014Jose Divasón
**Algebra and number theory in Isabelle/HOL
12 Nov 19:27 2014Florian Haftmann
***Algebra and number theory in Isabelle/HOL
5 Nov 18:36 2014Lawrence Paulson
*HOL/Number_Theory/Primes
5 Nov 19:26 2014Tobias Nipkow
**HOL/Number_Theory/Primes
5 Nov 20:37 2014Florian Haftmann
**HOL/Number_Theory/Primes
7 Nov 15:10 2014Julian Brunner
***HOL/Number_Theory/Primes
7 Nov 15:27 2014Dmitriy Traytel
****HOL/Number_Theory/Primes
7 Nov 15:31 2014Tobias Nipkow
*****HOL/Number_Theory/Primes
7 Nov 17:45 2014Dmitriy Traytel
******HOL/Number_Theory/Primes
7 Nov 18:34 2014Tobias Nipkow
*******HOL/Number_Theory/Primes
7 Nov 19:05 2014Peter Lammich
********HOL/Number_Theory/Primes
7 Nov 19:57 2014Tobias Nipkow
*********HOL/Number_Theory/Primes
7 Nov 20:09 2014Lawrence Paulson
********HOL/Number_Theory/Primes
8 Nov 08:42 2014Florian Haftmann
********HOL/Number_Theory/Primes
8 Nov 08:49 2014Tobias Nipkow
*********HOL/Number_Theory/Primes
9 Nov 10:08 2014Florian Haftmann
**********HOL/Number_Theory/Primes
9 Nov 21:38 2014Florian Haftmann
**********HOL/Number_Theory/Primes
3 Nov 09:40 2014Peter Lammich
*How to activate/de-activate unifier-trace from ML-level
3 Nov 10:26 2014Makarius
**How to activate/de-activate unifier-trace from ML-level
3 Nov 11:27 2014Peter Lammich
***How to activate/de-activate unifier-trace from ML-level
4 Nov 16:04 2014Makarius
****How to activate/de-activate unifier-trace from ML-level
2 Nov 20:24 2014Makarius
*NEWS: uniform document heading commands
3 Nov 09:33 2014Timothy Bourke
**NEWS: uniform document heading commands
3 Nov 10:30 2014Makarius
***NEWS: uniform document heading commands
3 Nov 10:46 2014Timothy Bourke
****NEWS: uniform document heading commands
3 Nov 10:47 2014Johannes Hölzl
****NEWS: uniform document heading commands
14 Nov 22:41 2014Makarius
***NEWS: uniform document heading commands
2 Nov 20:16 2014Makarius
*NEWS: command-line terminator "; " is no longer accepted
2 Nov 16:56 2014Bohua Zhan
*Experiments in best-first-search rewriter
2 Nov 20:50 2014Tobias Nipkow
**Experiments in best-first-search rewriter
3 Nov 03:33 2014Bohua Zhan
**Experiments in best-first-search rewriter
3 Nov 10:51 2014Makarius
**Experiments in best-first-search rewriter
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
2 Nov 20:07 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.
30 Oct 20:07 2014Florian Haftmann
***NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
3 Nov 10:08 2014Makarius
****NEWS: parameterized antiquotations @{map N}, @{fold N} etc.
3 Nov 13:12 2014Lawrence Paulson
*****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.