26 Jan 09:30 2015Florian Haftmann
*Lexical structure of ML strings
26 Jan 09:58 2015Christian Sternagel
**Lexical structure of ML strings
26 Jan 10:00 2015Florian Haftmann
***Lexical structure of ML strings
26 Jan 11:26 2015Makarius
****Lexical structure of ML strings
21 Jan 19:11 2015Makarius
*jdk-7u76
19 Jan 15:08 2015Makarius
*isabelle test failed
19 Jan 23:05 2015Florian Haftmann
**isabelle test failed
17 Jan 23:56 2015Makarius
*Improved Graphview
18 Jan 23:14 2015Makarius
**Improved Graphview
21 Jan 11:58 2015Lars Noschinski
***Improved Graphview
21 Jan 12:08 2015Lars Noschinski
****Improved Graphview
26 Jan 20:12 2015Makarius
****Improved Graphview
23 Jan 19:38 2015Florian Haftmann
***Improved Graphview
26 Jan 20:04 2015Makarius
***Improved Graphview
16 Jan 19:59 2015Tobias Nipkow
*segmentation faults
17 Jan 15:26 2015Makarius
**segmentation faults
16 Jan 14:35 2015Christian Sternagel
*adhoc overloading: ugly output
16 Jan 14:40 2015Christian Sternagel
**adhoc overloading: ugly output
28 Jan 09:55 2015Christian Sternagel
***adhoc overloading: ugly output
28 Jan 10:40 2015Dmitriy Traytel
****adhoc overloading: ugly output
28 Jan 11:54 2015Dmitriy Traytel
*****adhoc overloading: ugly output
28 Jan 13:25 2015Christian Sternagel
******adhoc overloading: ugly output
28 Jan 18:15 2015Florian Haftmann
****adhoc overloading: ugly output
28 Jan 19:59 2015Christian Sternagel
*****adhoc overloading: ugly output
29 Jan 19:42 2015Florian Haftmann
******adhoc overloading: ugly output
16 Jan 14:15 2015Christian Sternagel
*Isabelle/jEdit: imports
14 Jan 14:04 2015Lars Noschinski
*Folding in Isabelle/jEdit
13 Jan 10:03 2015Lars Noschinski
*Shortcuts for \<^sub> and \<^sup>?
15 Jan 15:59 2015Makarius
**Shortcuts for \<^sub> and \<^sup>?
16 Jan 09:34 2015Lars Noschinski
***Shortcuts for \<^sub> and \<^sup>?
2 Jan 20:04 2015Gergely Buday
*Isabelle/JEdit development
3 Jan 15:43 2015Makarius
**Isabelle/JEdit development
30 Dec 16:06 2014Makarius
*Metis vs. polymorphism
2 Jan 14:54 2015Lawrence Paulson
**Metis vs. polymorphism
30 Dec 15:44 2014Makarius
*Isabelle/ML/Scala parallel computation and PIDE execution
30 Dec 16:11 2014Makarius
**Isabelle/ML/Scala parallel computation and PIDE execution
21 Dec 14:18 2014Andrei Melnikov
*Patch for latest haskell-src-exts
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