28 Apr 17:27 2015Larry Paulson
*not working
28 Apr 19:11 2015Tobias Nipkow
**not working
28 Apr 19:39 2015Makarius
**not working
28 Apr 15:25 2015Makarius
*Status of afp-2015
28 Apr 15:30 2015Larry Paulson
**Status of afp-2015
28 Apr 18:18 2015Gerwin Klein
***Status of afp-2015
28 Apr 18:16 2015Gerwin Klein
**Status of afp-2015
28 Apr 19:26 2015Makarius
***Status of afp-2015
28 Apr 23:05 2015Gerwin Klein
****Status of afp-2015
28 Apr 23:16 2015Makarius
*****Status of afp-2015
29 Apr 08:30 2015Gerwin Klein
******Status of afp-2015
28 Apr 18:23 2015Tobias Nipkow
**Status of afp-2015
19 Apr 16:45 2015Gerwin Klein
*docs for new datatype package
19 Apr 19:48 2015Jasmin Blanchette
**docs for new datatype package
19 Apr 20:25 2015Gerwin Klein
***docs for new datatype package
20 Apr 08:32 2015Jasmin Blanchette
****docs for new datatype package
20 Apr 11:20 2015Gerwin Klein
*****docs for new datatype package
20 Apr 15:15 2015Jasmin Blanchette
******docs for new datatype package
21 Apr 18:38 2015Gerwin Klein
*******docs for new datatype package
21 Apr 19:07 2015Jasmin Blanchette
********docs for new datatype package
21 Apr 19:13 2015Jasmin Blanchette
*********docs for new datatype package
21 Apr 21:11 2015Gerwin Klein
**********docs for new datatype package
21 Apr 22:19 2015Jasmin Blanchette
***********docs for new datatype package
21 Apr 22:32 2015Gerwin Klein
************docs for new datatype package
21 Apr 23:33 2015Jasmin Blanchette
*************docs for new datatype package
22 Apr 15:02 2015Makarius
*************docs for new datatype package
21 Apr 21:18 2015Gerwin Klein
*********docs for new datatype package
21 Apr 21:40 2015Gerwin Klein
*********docs for new datatype package
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
22 Apr 16:44 2015Makarius
***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
19 Apr 20:04 2015Makarius
***Towards the Isabelle2015 release
19 Apr 22:01 2015Makarius
****Towards the Isabelle2015 release
20 Apr 10:40 2015Gerwin Klein
*****APF-2015 fork
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
20 Apr 15:28 2015Jasmin Blanchette
***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'