14 Feb 11:24 2015Florian Haftmann
*Consturctors and the predicate compiler
14 Feb 11:25 2015Florian Haftmann
**Constructors and the predicate compiler
16 Feb 10:53 2015Andreas Lochbihler
***Constructors and the predicate compiler
14 Feb 11:32 2015Florian Haftmann
*sign_simps
14 Feb 21:21 2015Larry Paulson
**sign_simps
15 Feb 10:32 2015Florian Haftmann
***sign_simps
15 Feb 12:20 2015Tobias Nipkow
****sign_simps
15 Feb 15:25 2015Florian Haftmann
*****sign_simps
12 Feb 22:19 2015Clemens Ballarin
*Regression in the sublocale command
14 Feb 10:11 2015Florian Haftmann
**Regression in the sublocale command
14 Feb 16:16 2015Clemens Ballarin
***Regression in the sublocale command
14 Feb 21:43 2015Florian Haftmann
****Regression in the sublocale command
14 Feb 14:25 2015Florian Haftmann
**Regression in the sublocale command
14 Feb 16:27 2015Clemens Ballarin
***Regression in the sublocale command
14 Feb 21:35 2015Florian Haftmann
****Regression in the sublocale command
14 Feb 21:47 2015Florian Haftmann
*****Regression in the sublocale command
14 Feb 22:21 2015Clemens Ballarin
******Regression in the sublocale command
14 Feb 22:06 2015Florian Haftmann
*****Regression in the sublocale command
14 Feb 22:20 2015Florian Haftmann
******Regression in the sublocale command
15 Feb 11:59 2015Clemens Ballarin
*******Regression in the sublocale command
17 Feb 13:03 2015Florian Haftmann
********Regression in the sublocale command
19 Feb 20:17 2015Clemens Ballarin
*********Regression in the sublocale command
10 Feb 19:03 2015Makarius
*AFP: Sourceforge down
10 Feb 23:08 2015Makarius
**AFP: Sourceforge down
12 Feb 09:47 2015Andreas Lochbihler
***AFP: Sourceforge down
14 Feb 00:12 2015Makarius
****AFP: Sourceforge down
5 Feb 22:39 2015Makarius
*Start thinking about Isabelle2015 release
14 Feb 10:20 2015Florian Haftmann
**Start thinking about Isabelle2015 release
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
18 Feb 07:17 2015Lars Noschinski
*****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?