27 May 17:53 2016Lawrence Paulson
*Whole word search
26 May 15:41 2016Florian Haftmann
*NEWS
26 May 14:42 2016Lars Hupel
*Repaired Card_Equiv_Relations
24 May 21:21 2016Makarius
*NEWS: theorem eigen context
24 May 20:24 2016Makarius
*NEWS: cartouches
24 May 17:12 2016Makarius
*Isabelle repository broken
24 May 17:16 2016Lawrence Paulson
**Isabelle repository broken
24 May 17:20 2016Lars Hupel
**Isabelle repository broken
24 May 17:22 2016Jasmin Blanchette
**Isabelle repository broken
24 May 18:34 2016Manuel Eberl
***Isabelle repository broken
24 May 18:42 2016Makarius
****Isabelle repository broken
24 May 18:50 2016Manuel Eberl
*****Isabelle repository broken
20 May 11:44 2016Lars Hupel
*Jenkins downtime
23 May 17:43 2016Lars Hupel
**Jenkins downtime
11 May 22:58 2016Lars Hupel
*Nonterminating AFP build
12 May 00:58 2016Gerwin Klein
**Nonterminating AFP build
12 May 12:39 2016Lawrence Paulson
***Nonterminating AFP build
12 May 12:58 2016Lawrence Paulson
****Nonterminating AFP build
12 May 13:04 2016Tobias Nipkow
*****Nonterminating AFP build
12 May 13:28 2016Johannes Hölzl
*****Nonterminating AFP build
12 May 09:26 2016Makarius
**Nonterminating AFP build
25 Apr 21:57 2016Makarius
*NEWS: command 'define'
5 May 10:49 2016Florian Haftmann
**NEWS: command 'define'
21 Apr 14:01 2016Lars Hupel
*Remaining uses of isatest/afptest
26 Apr 15:07 2016Lars Hupel
**Remaining uses of isatest/afptest
28 Apr 14:50 2016Makarius
**Remaining uses of isatest/afptest
18 Apr 16:24 2016Makarius
*NEWS: Highlighting of entity def/ref positions
19 Apr 18:18 2016Dmitriy Traytel
**NEWS: Highlighting of entity def/ref positions
19 Apr 19:37 2016Makarius
***NEWS: Highlighting of entity def/ref positions
25 Apr 20:53 2016Jasmin Blanchette
****NEWS: Highlighting of entity def/ref positions
16 Apr 12:42 2016Lars Hupel
*Build NEWS
17 Apr 15:55 2016Makarius
**Build NEWS
17 Apr 16:06 2016Lars Hupel
***Build NEWS
20 Apr 13:32 2016Lars Hupel
**Build NEWS
14 Apr 15:57 2016Johannes Hölzl
*NEWS: HOL-Probability -- type of emeasure and nn_integral was changed
15 Apr 10:20 2016Johannes Hölzl
**NEWS: HOL-Probability -- type of emeasure and nn_integral was changed
12 Apr 17:42 2016Makarius
*PIDE reports on mixfix annotations (notably for datatype)
25 Apr 20:52 2016Jasmin Blanchette
**PIDE reports on mixfix annotations (notably for datatype)
25 Apr 20:51 2016Jasmin Blanchette
**PIDE reports on mixfix annotations (notably for datatype)
12 Apr 16:46 2016Makarius
*NEWS: type-inference for object-logic
12 Apr 17:01 2016Peter Lammich
**NEWS: type-inference for object-logic
12 Apr 17:14 2016Makarius
***NEWS: type-inference for object-logic
11 Apr 13:01 2016Lars Hupel
*java.lang.ExceptionInInitializerError when starting Isabelle/jEdit
12 Apr 16:49 2016Makarius
**java.lang.ExceptionInInitializerError when starting Isabelle/jEdit
12 Apr 17:25 2016Lars Hupel
***java.lang.ExceptionInInitializerError when starting Isabelle/jEdit
7 Apr 17:36 2016Makarius
*NEWS: IDE support for Isabelle/Pure bootstrap
7 Apr 22:08 2016Makarius
**NEWS: IDE support for Isabelle/Pure bootstrap
9 Apr 21:55 2016Makarius
**NEWS: IDE support for Isabelle/Pure bootstrap
20 Apr 17:58 2016Makarius
**NEWS: IDE support for Isabelle/Pure bootstrap
4 Apr 11:15 2016Lars Hupel
*Failures in HOL-Codegenerator_Test
4 Apr 09:47 2016Jasmin Blanchette
*NEWS: 'corec' command
4 Apr 00:49 2016Makarius
*NEWS: ISABELLE_TOOL_JAVA_OPTIONS
3 Apr 14:50 2016Lawrence Paulson
*pretty-printing of DIM('a)
24 May 20:17 2016Makarius
**pretty-printing of DIM('a)
3 Apr 00:13 2016Makarius
*structure PolyML sealed after bootstrap
2 Apr 14:01 2016Makarius
*src/Doc/Corec fails
2 Apr 17:14 2016Jasmin Blanchette
**src/Doc/Corec fails
2 Apr 19:19 2016Makarius
***src/Doc/Corec fails
2 Apr 00:23 2016Makarius
*NEWS: mixfix annotations and Unicode
2 Apr 16:28 2016Makarius
**NEWS: mixfix annotations and Unicode
30 Mar 11:50 2016Makarius
*Odd branches on AFP
30 Mar 12:29 2016Gerwin Klein
**Odd branches on AFP
30 Mar 00:04 2016Makarius
*Odd branches on AFP
29 Mar 13:47 2016Salomon Sickert
*Isabelle/jEdit - Loading of AFP session images fails
30 Mar 00:01 2016Makarius
**Isabelle/jEdit - Loading of AFP session images fails
30 Mar 11:12 2016Salomon Sickert
***Isabelle/jEdit - Loading of AFP session images fails
30 Mar 11:47 2016Makarius
****Isabelle/jEdit - Loading of AFP session images fails
22 Mar 16:48 2016C. Diekmann
*Additional lemma for Bool_List_Representation
22 Mar 23:13 2016Gerwin Klein
**Additional lemma for Bool_List_Representation
19 Mar 19:16 2016Lars Hupel
*Jenkins updates
21 Mar 21:09 2016Dmitriy Traytel
**Jenkins updates
21 Mar 21:20 2016Lars Hupel
***Jenkins updates
21 Mar 21:30 2016Lars Hupel
****Jenkins updates
16 Mar 23:33 2016Makarius
*NEWS:
17 Mar 11:05 2016Makarius
**NEWS: Poly/ML heaps follow hierarchy of sessions
17 Mar 12:58 2016Lawrence Paulson
**NEWS:
17 Mar 15:09 2016Makarius
***NEWS: Poly/ML heaps follow hierarchy of sessions
13 Mar 11:30 2016Florian Haftmann
*Sketch for generic interval notation [_..<_] / [_.._]
12 Mar 22:21 2016Florian Haftmann
*NEWS: Characters (type char) are modelled as finite algebraic type, co
19 Mar 11:12 2016Makarius
**NEWS: Characters (type char) are modelled as finite algebraic type, co
31 Mar 12:31 2016Florian Haftmann
***NEWS: Characters (type char) are modelled as finite algebraic type, co
19 Mar 11:17 2016Makarius
**NEWS: Characters (type char) are modelled as finite algebraic type, co
19 Mar 11:26 2016Makarius
**NEWS: Characters (type char) are modelled as finite algebraic type, co
31 Mar 12:29 2016Florian Haftmann
***NEWS: Characters (type char) are modelled as finite algebraic type, co
11 Mar 18:37 2016Makarius
*NEWS: process management (summary and update)
20 Mar 06:41 2016Lars Noschinski
**NEWS: process management (summary and update)
24 May 20:15 2016Makarius
***NEWS: process management (summary and update)
10 Mar 11:18 2016Florian Haftmann
*Factorial ring
10 Mar 14:01 2016Manuel Eberl
**Factorial ring
11 Mar 13:39 2016Tjark Weber
***Factorial ring
11 Mar 13:48 2016Manuel Eberl
****Factorial ring
10 Mar 11:00 2016Florian Haftmann
*Syntax for lattice operations?
10 Mar 11:11 2016Johannes Hölzl
**Syntax for lattice operations?
10 Mar 11:19 2016Makarius
***Syntax for lattice operations?
10 Mar 11:12 2016Lawrence Paulson
**Syntax for lattice operations?
10 Mar 11:13 2016Florian Haftmann
***Syntax for lattice operations?
13 Mar 13:55 2016Tobias Nipkow
**Syntax for lattice operations?
10 Mar 10:53 2016Florian Haftmann
*Explicit representation of multisets
13 Mar 13:46 2016Tobias Nipkow
**Explicit representation of multisets
13 Mar 15:24 2016Jasmin Blanchette
***Explicit representation of multisets