11 Dec 12:04 2014Makarius
*Cartouches in Isabelle/ML
9 Dec 14:57 2014Christian Sternagel
*Isabelle/jEdit: JVM crash
9 Dec 17:40 2014Makarius
**Isabelle/jEdit: JVM crash
9 Dec 19:45 2014Christian Sternagel
***Isabelle/jEdit: JVM crash
9 Dec 21:56 2014Makarius
****Isabelle/jEdit: JVM crash
6 Dec 16:18 2014Florian Haftmann
*AODV
7 Dec 02:54 2014Gerwin Klein
**AODV
8 Dec 12:38 2014Florian Haftmann
***AODV
8 Dec 14:40 2014Makarius
****AODV
9 Dec 21:40 2014Gerwin Klein
*****AODV
9 Dec 21:50 2014Makarius
******AODV
10 Dec 08:32 2014Tobias Nipkow
*******AODV
10 Dec 11:01 2014Makarius
********AODV
10 Dec 11:23 2014Gerwin Klein
*********AODV
11 Dec 10:48 2014Makarius
**********AODV
17 Dec 09:47 2014Florian Haftmann
***********AODV
3 Dec 23:33 2014Makarius
*Outer syntax based on theory structure
3 Dec 15:01 2014Christian Sternagel
*BNF: number of dead variables
3 Dec 15:46 2014Jasmin Christian Blanchette
**BNF: number of dead variables
3 Dec 16:14 2014Christian Sternagel
***BNF: number of dead variables
15 Dec 17:48 2014Makarius
***BNF: number of dead variables
16 Dec 00:45 2014Jasmin Christian Blanchette
****BNF: number of dead variables
26 Nov 19:10 2014Florian Haftmann
*Duraraion of AFP session AODV
26 Nov 21:43 2014Makarius
**Duraraion of AFP session AODV
27 Nov 09:43 2014Timothy Bourke
***Duraraion of AFP session AODV
27 Nov 11:59 2014Florian Haftmann
****Duraraion of AFP session AODV
27 Nov 12:53 2014Timothy Bourke
*****Duraraion of AFP session AODV
4 Dec 09:40 2014Florian Haftmann
******Duraraion of AFP session AODV
26 Nov 22:31 2014Gerwin Klein
**Duraraion of AFP session AODV
27 Nov 09:08 2014Dmitriy Traytel
***Duraraion of AFP session AODV
27 Nov 09:17 2014Gerwin Klein
****Duraraion of AFP session AODV
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
26 Nov 16:12 2014Florian Haftmann
*****Abbreviations and find_theorems
26 Nov 19:40 2014Florian Haftmann
******Abbreviations and find_theorems
26 Nov 21:16 2014Timothy Bourke
*******Abbreviations and find_theorems
27 Nov 00:06 2014Gerwin Klein
*******Abbreviations and find_theorems
27 Nov 00:52 2014Jasmin Christian Blanchette
********Abbreviations and find_theorems
27 Nov 01:23 2014Gerwin Klein
*********Abbreviations and find_theorems
27 Nov 08:36 2014Florian Haftmann
********Abbreviations and find_theorems
27 Nov 08:58 2014Gerwin Klein
*********Abbreviations and find_theorems
27 Nov 11:51 2014Florian Haftmann
**********Abbreviations and find_theorems
4 Dec 09:36 2014Florian Haftmann
***********Abbreviations and find_theorems
5 Dec 04:14 2014Gerwin Klein
************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