17 Apr 15:51 2015Makarius
*AFP works
17 Apr 14:23 2015Makarius
*NEWS: isabelle build -X
16 Apr 22:49 2015Makarius
*AFP still broken (AList vs. Assoc_List)
17 Apr 10:22 2015Tobias Nipkow
**AFP still broken (AList vs. Assoc_List)
15 Apr 16:57 2015Lars Noschinski
*New proof method "rewrite"
13 Apr 11:28 2015Makarius
*Isabelle repository broken
13 Apr 12:19 2015Johannes Hölzl
**Isabelle repository broken
12 Apr 12:44 2015Larry Paulson
*NEWS: powr
12 Apr 13:26 2015Manuel Eberl
**NEWS: powr
12 Apr 17:38 2015Larry Paulson
***NEWS: powr
14 Apr 16:35 2015Makarius
****NEWS: powr
14 Apr 17:58 2015Larry Paulson
*****NEWS: powr
12 Apr 21:03 2015Florian Haftmann
**NEWS: powr
12 Apr 23:16 2015Larry Paulson
***NEWS: powr
11 Apr 08:30 2015Lars Noschinski
*Isabelle/jEdit hangs on exit
18 Apr 21:50 2015Makarius
**Isabelle/jEdit hangs on exit
10 Apr 08:56 2015Andreas Lochbihler
*Commands not in scope fail to cause errors
10 Apr 09:03 2015Tobias Nipkow
**Commands not in scope fail to cause errors
10 Apr 11:28 2015Jasmin Blanchette
***Commands not in scope fail to cause errors
17 Apr 00:40 2015Makarius
**Commands not in scope fail to cause errors
9 Apr 23:15 2015Makarius
*Towards the Isabelle2015 release
17 Apr 11:46 2015Makarius
**Towards the Isabelle2015 release
17 Apr 22:36 2015Makarius
**Towards the Isabelle2015 release
9 Apr 15:28 2015Andreas Lochbihler
*datatype takes minutes, but timing panel shows 10s
9 Apr 15:44 2015Jasmin Blanchette
**datatype takes minutes, but timing panel shows 10s
9 Apr 15:55 2015Dmitriy Traytel
***datatype takes minutes, but timing panel shows 10s
9 Apr 16:11 2015Andreas Lochbihler
****datatype takes minutes, but timing panel shows 10s
13 Apr 12:04 2015Dmitriy Traytel
*****datatype takes minutes, but timing panel shows 10s
14 Apr 08:10 2015Andreas Lochbihler
******datatype takes minutes, but timing panel shows 10s
14 Apr 09:01 2015Dmitriy Traytel
*******datatype takes minutes, but timing panel shows 10s
14 Apr 09:14 2015Andreas Lochbihler
********datatype takes minutes, but timing panel shows 10s
14 Apr 20:22 2015Florian Haftmann
********datatype takes minutes, but timing panel shows 10s
18 Apr 21:28 2015Makarius
**datatype takes minutes, but timing panel shows 10s
8 Apr 22:12 2015Jasmin Blanchette
*NEWS: Z3 open source
9 Apr 21:25 2015Makarius
**NEWS: Z3 open source
9 Apr 21:50 2015Jasmin Blanchette
***NEWS: Z3 open source
14 Apr 23:05 2015Makarius
**NEWS: Z3 open source
15 Apr 10:02 2015Gerwin Klein
***NEWS: Z3 open source
15 Apr 11:56 2015Larry Paulson
****NEWS: Z3 open source
8 Apr 09:13 2015Tobias Nipkow
*Multiset insert
8 Apr 11:12 2015Larry Paulson
**Multiset insert
8 Apr 20:01 2015Florian Haftmann
**Multiset insert
7 Apr 17:47 2015Makarius
*Local_Theory.open_target instead of Local_Theory.restore
7 Apr 22:28 2015Dmitriy Traytel
**Local_Theory.open_target instead of Local_Theory.restore
12 Apr 21:11 2015Florian Haftmann
***Local_Theory.open_target instead of Local_Theory.restore
14 Apr 16:20 2015Makarius
****Local_Theory.open_target instead of Local_Theory.restore
7 Apr 14:07 2015Makarius
*NEWS: limited name space accesses
7 Apr 14:37 2015Christian Sternagel
**NEWS: limited name space accesses
7 Apr 14:43 2015Tobias Nipkow
***NEWS: limited name space accesses
7 Apr 16:28 2015Makarius
****NEWS: limited name space accesses
8 Apr 08:39 2015Tobias Nipkow
*****NEWS: limited name space accesses
9 Apr 16:42 2015Makarius
*****NEWS: limited name space accesses
9 Apr 21:38 2015Makarius
******NEWS: restricted name space accesses
17 Apr 00:04 2015Makarius
***NEWS: limited name space accesses
17 Apr 20:14 2015Christian Sternagel
****NEWS: limited name space accesses
2 Apr 00:31 2015Makarius
*Mira still alive?
8 Apr 14:00 2015Lars Noschinski
**Mira still alive?
12 Apr 21:07 2015Florian Haftmann
***Mira still alive?
13 Apr 14:57 2015Lars Hupel
****Mira still alive?
2 Apr 00:28 2015Makarius
*NEWS: isabelle build -k and -x
2 Apr 00:16 2015Makarius
*NEWS: Thm.cterm_of and Thm.ctyp_of operate on local context
2 Apr 09:41 2015Peter Lammich
**NEWS: Thm.cterm_of and Thm.ctyp_of operate on local context
2 Apr 14:38 2015Makarius
***NEWS: Thm.cterm_of and Thm.ctyp_of operate on local context
2 Apr 19:02 2015Peter Lammich
****NEWS: Thm.cterm_of and Thm.ctyp_of operate on local context
2 Apr 20:55 2015Makarius
*****NEWS: Thm.cterm_of and Thm.ctyp_of operate on local context
2 Apr 00:06 2015Makarius
*NEWS: THEN_ALL_NEW in Isar method expressions
1 Apr 23:35 2015Makarius
*NEWS: command 'experiment'
30 Mar 08:39 2015Thiemann, Rene
*[isabelle] Semirings in HOL/Algebra/Ring
30 Mar 11:37 2015Johannes Hölzl
**[isabelle] Semirings in HOL/Algebra/Ring
29 Mar 23:24 2015Makarius
*NEWS: proper Isar context for rule instantiations
30 Mar 00:16 2015Makarius
**NEWS: proper Isar context for rule instantiations
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"
9 Apr 16:52 2015Lars Noschinski
**New proof method "rewrite"
9 Apr 21:08 2015Makarius
***New proof method "rewrite"
14 Apr 14:30 2015Makarius
****New proof method "rewrite"
14 Apr 16:00 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)