8 Feb 10:44 2016Lars Hupel
*New mailing list: isabelle-ci
31 Jan 22:29 2016Lars Hupel
*Mail on build failures
31 Jan 23:41 2016Gerwin Klein
**Mail on build failures
3 Feb 19:01 2016Florian Haftmann
***Mail on build failures
31 Jan 14:05 2016Lars Hupel
*Grouping ISABELLE_FULL_TEST?
31 Jan 14:41 2016Makarius
**Grouping ISABELLE_FULL_TEST?
31 Jan 22:01 2016Lawrence Paulson
***Grouping ISABELLE_FULL_TEST?
31 Jan 22:35 2016Lars Hupel
***Grouping ISABELLE_FULL_TEST?
31 Jan 22:50 2016Lars Hupel
****Grouping ISABELLE_FULL_TEST?
31 Jan 23:12 2016Makarius
*****Grouping ISABELLE_FULL_TEST?
31 Jan 23:16 2016Lars Hupel
******Grouping ISABELLE_FULL_TEST?
31 Jan 23:07 2016Makarius
****Grouping ISABELLE_FULL_TEST?
1 Feb 09:07 2016Lars Hupel
*****Grouping ISABELLE_FULL_TEST?
1 Feb 16:29 2016Makarius
**Grouping ISABELLE_FULL_TEST?
2 Feb 14:28 2016Lars Hupel
***Grouping ISABELLE_FULL_TEST?
2 Feb 21:55 2016Florian Haftmann
****Grouping ISABELLE_FULL_TEST?
3 Feb 11:04 2016Jasmin Blanchette
****Grouping ISABELLE_FULL_TEST?
3 Feb 22:22 2016Makarius
*****Grouping ISABELLE_FULL_TEST?
4 Feb 05:16 2016Jasmin Blanchette
******Grouping ISABELLE_FULL_TEST?
30 Jan 12:51 2016Lars Hupel
*Maintenance work on Jenkins VM
30 Jan 20:57 2016Dmitriy Traytel
**Maintenance work on Jenkins VM
30 Jan 21:52 2016Lars Hupel
***Maintenance work on Jenkins VM
30 Jan 21:48 2016Lars Hupel
**Maintenance work on Jenkins VM
30 Jan 21:53 2016Lars Hupel
***Maintenance work on Jenkins VM
31 Jan 22:21 2016Lars Hupel
****Maintenance work on Jenkins VM
1 Feb 08:32 2016Andreas Lochbihler
*****Maintenance work on Jenkins VM
1 Feb 13:54 2016Andreas Lochbihler
******Maintenance work on Jenkins VM
1 Feb 13:57 2016Lars Hupel
*******Maintenance work on Jenkins VM
20 Jan 19:55 2016Makarius
*jdk-8u72
19 Jan 10:15 2016Manuel Eberl
*Regression in Approximation – Does this belong into NEWS?
19 Jan 11:11 2016Makarius
** Regression in Approximation – Does this belong into NEWS?
15 Jan 20:16 2016Makarius
*Multicore timings
15 Jan 21:17 2016Gerwin Klein
**Multicore timings
15 Jan 21:26 2016Lawrence Paulson
**Multicore timings
15 Jan 21:35 2016Makarius
***Multicore timings
13 Jan 16:55 2016Lawrence Paulson
*next release
14 Jan 09:22 2016Thomas Sewell
**next release
14 Jan 11:21 2016Florian Haftmann
***Localized record package [was: next release]
14 Jan 14:47 2016Makarius
****Localized record package [was: next release]
14 Jan 15:16 2016Thomas Sewell
*****Localized record package [was: next release]
14 Jan 15:29 2016Makarius
******Localized record package [was: next release]
14 Jan 14:54 2016Makarius
***next release
18 Jan 07:39 2016Thomas Sewell
****next release
13 Jan 00:18 2016Makarius
*NEWS: better resource usage on all platforms
13 Jan 00:06 2016Makarius
*AFP status
13 Jan 08:56 2016Andreas Lochbihler
**AFP status
13 Jan 09:08 2016Manuel Eberl
***AFP status
12 Jan 14:48 2016Lawrence Paulson
*Impossible_Geometry
12 Jan 16:13 2016Johannes Hölzl
**Impossible_Geometry
11 Jan 18:16 2016Lawrence Paulson
*HOL-Codegenerator_Test error
11 Jan 20:42 2016Manuel Eberl
**HOL-Codegenerator_Test error
11 Jan 21:11 2016Makarius
***HOL-Codegenerator_Test error
12 Jan 08:20 2016Lars Hupel
****HOL-Codegenerator_Test error
12 Jan 09:56 2016Manuel Eberl
***HOL-Codegenerator_Test error
12 Jan 10:16 2016Andreas Lochbihler
****HOL-Codegenerator_Test error
12 Jan 11:27 2016Lars Hupel
*****HOL-Codegenerator_Test error
12 Jan 12:04 2016Manuel Eberl
******HOL-Codegenerator_Test error
12 Jan 12:11 2016Lawrence Paulson
*******HOL-Codegenerator_Test error
12 Jan 15:31 2016Makarius
*******HOL-Codegenerator_Test error
12 Jan 17:00 2016Manuel Eberl
********HOL-Codegenerator_Test error
12 Jan 23:51 2016Makarius
*********HOL-Codegenerator_Test error
14 Jan 11:13 2016Florian Haftmann
**********HOL-Codegenerator_Test error
11 Jan 09:57 2016Thiemann, Rene
*Isabelle2016-RC0: potential changes
11 Jan 10:04 2016Manuel Eberl
**Isabelle2016-RC0: potential changes
11 Jan 10:18 2016Thiemann, Rene
***Isabelle2016-RC0: potential changes
11 Jan 11:16 2016Manuel Eberl
****Isabelle2016-RC0: potential changes
11 Jan 12:21 2016Thiemann, Rene
*****Isabelle2016-RC0: potential changes
11 Jan 16:48 2016Manuel Eberl
******Isabelle2016-RC0: potential changes
12 Jan 09:21 2016Thiemann, Rene
*******Isabelle2016-RC0: potential changes
12 Jan 09:27 2016Manuel Eberl
********Isabelle2016-RC0: potential changes
12 Jan 14:08 2016Makarius
*********Isabelle2016-RC0: potential changes
14 Jan 11:17 2016Florian Haftmann
*********Isabelle2016-RC0: potential changes
14 Jan 11:31 2016Thiemann, Rene
**********Isabelle2016-RC0: potential changes
14 Jan 11:45 2016Florian Haftmann
***********Isabelle2016-RC0: potential changes
14 Jan 15:36 2016Makarius
************Isabelle2016-RC0: potential changes
15 Jan 12:12 2016Thiemann, Rene
*************Isabelle2016-RC0: potential changes
13 Jan 21:26 2016Makarius
*******Isabelle2016-RC0: potential changes
11 Jan 05:33 2016Gerwin Klein
*NEWS: print_record
9 Jan 15:14 2016Tobias Nipkow
*Line breaks in pretty-printed output
9 Jan 20:18 2016Makarius
**Line breaks in pretty-printed output
16 Jan 15:41 2016Makarius
***Line breaks in pretty-printed output
8 Jan 09:56 2016Johannes Hölzl
*Problem with code generation for non-executable types
8 Jan 15:28 2016Johannes Hölzl
**Problem with code generation for non-executable types
8 Jan 15:48 2016Andreas Lochbihler
***Problem with code generation for non-executable types
8 Jan 15:53 2016Johannes Hölzl
****Problem with code generation for non-executable types
9 Jan 17:22 2016Florian Haftmann
*****Problem with code generation for non-executable types
11 Jan 12:00 2016Johannes Hölzl
******Problem with code generation for non-executable types
14 Jan 11:47 2016Florian Haftmann
*******Problem with code generation for non-executable types
14 Jan 17:38 2016Johannes Hölzl
********Problem with code generation for non-executable types
6 Jan 14:05 2016Johannes Hölzl
*CONTRIBUTIONS: The central limit theorem is now in Isabelle
6 Jan 16:21 2016Makarius
**CONTRIBUTIONS: The central limit theorem is now in Isabelle
1 Jan 20:24 2016Makarius
*Towards the release
1 Jan 20:28 2016Lawrence Paulson
**Towards the release
1 Jan 20:29 2016Makarius
***Towards the release
1 Jan 20:50 2016Manuel Eberl
**Towards the release
4 Jan 22:20 2016Manuel Eberl
***Towards the release
5 Jan 14:27 2016Makarius
****Towards the release
5 Jan 14:25 2016Manuel Eberl
*****Towards the release
4 Jan 20:48 2016Johannes Hölzl
**Towards the release
4 Jan 21:49 2016Lawrence Paulson
***Towards the release