26 Mar 14:00 2015Peter Lammich
*Someone messed up HOL_library/Multiset_Order
26 Mar 14:09 2015Jasmin Blanchette
**Someone messed up HOL_library/Multiset_Order
26 Mar 11:42 2015Florian Haftmann
*Multiset_Order
26 Mar 12:01 2015Florian Haftmann
**Multiset_Order
25 Mar 15:10 2015Makarius
*Suppress odd .prv files
24 Mar 13:29 2015Jasmin Blanchette
*Reprocessing in Isabelle/jEdit
24 Mar 13:48 2015Peter Lammich
**Reprocessing in Isabelle/jEdit
25 Mar 00:00 2015Makarius
**Reprocessing in Isabelle/jEdit
21 Mar 18:08 2015Florian Haftmann
*Problem in the AFP
21 Mar 18:26 2015Peter Lammich
**Problem in the AFP
21 Mar 23:02 2015Lawrence Paulson
***Problem in the AFP
23 Mar 18:58 2015Peter Lammich
***Problem in the AFP
24 Mar 07:46 2015Thiemann, Rene
****Problem in the AFP
20 Mar 00:03 2015Makarius
*Mira/AFP broken?
20 Mar 09:45 2015Lars Noschinski
**Mira/AFP broken?
18 Mar 15:16 2015Lars Noschinski
*New proof method "rewrite"
17 Mar 18:22 2015Makarius
*HOL-Probability broken
17 Mar 18:26 2015Larry Paulson
**HOL-Probability broken
17 Mar 18:46 2015Larry Paulson
**HOL-Probability broken
18 Mar 15:52 2015Makarius
***HOL-Probability broken
18 Mar 15:56 2015Larry Paulson
****HOL-Probability broken
19 Mar 16:21 2015Makarius
*****HOL-Probability broken
19 Mar 16:34 2015Larry Paulson
******HOL-Probability broken
12 Mar 12:48 2015Makarius
*isabelle test failed (HOL-NSA-Examples)
12 Mar 13:56 2015Andreas Lochbihler
**isabelle test failed (HOL-NSA-Examples)
12 Mar 14:15 2015Andreas Lochbihler
***isabelle test failed (HOL-NSA-Examples)
5 Mar 11:39 2015Johannes Hölzl
*Isabelle gets stuck when imported theory is not found
5 Mar 12:56 2015Christian Sternagel
**Isabelle gets stuck when imported theory is not found
5 Mar 15:17 2015Makarius
***Isabelle gets stuck when imported theory is not found
16 Mar 17:11 2015Makarius
****Isabelle gets stuck when imported theory is not found
16 Mar 18:06 2015Makarius
*****Isabelle gets stuck when imported theory is not found
18 Mar 16:47 2015Makarius
******Isabelle gets stuck when imported theory is not found
2 Mar 22:27 2015Askar Safin
*What is this 3 levels of lambda calculi?
3 Mar 11:50 2015Makarius
**What is this 3 levels of lambda calculi?
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