1 Sep 17:37 2015Frédéric Tuong
*Code generation to OCaml and Scala
27 Aug 11:44 2015Makarius
*NEWS: IDE support for the source-level debugger of Poly/ML
27 Aug 11:54 2015Florian Haftmann
**NEWS: IDE support for the source-level debugger of Poly/ML
27 Aug 09:42 2015Florian Haftmann
*State of affairs with simplifier tracing?
25 Aug 18:16 2015Lars Noschinski
*simps_of_case and function types
25 Aug 18:26 2015Lars Noschinski
**simps_of_case and function types
25 Aug 18:56 2015Lars Hupel
***simps_of_case and function types
25 Aug 02:33 2015Rafal Kolanski
*Fonts in etc/symbols with space in the name (incl. workaround for Isab
22 Aug 13:46 2015Larry Paulson
*status (AFP)
23 Aug 11:59 2015Gerwin Klein
**status (AFP)
21 Aug 23:40 2015Makarius
*NEWS: updated to jdk-8u60, with support for x86_64-windows
20 Aug 17:43 2015Makarius
*NEWS: IDE support for the source-level debugger of Poly/ML
20 Aug 17:38 2015Makarius
*NEWS: Poly/ML 5.5.3 runs natively on x86-windows
19 Aug 20:33 2015Larry Paulson
*testboard
19 Aug 22:45 2015Makarius
**testboard
21 Aug 16:25 2015Dmitriy Traytel
***testboard
19 Aug 12:55 2015Larry Paulson
*"The following files are required to resolve theory imports"
19 Aug 15:45 2015Makarius
**"The following files are required to resolve theory imports"
25 Aug 21:50 2015Makarius
***"The following files are required to resolve theory imports"
28 Jul 17:17 2015Larry Paulson
*NEWS: Cauchy's integral theorem
28 Jul 17:40 2015Makarius
**NEWS: Cauchy's integral theorem
28 Jul 18:19 2015Larry Paulson
***NEWS: Cauchy's integral theorem
27 Jul 22:36 2015Makarius
*NEWS: instantiation rules
27 Jul 22:32 2015Makarius
*NEWS: eliminated atac, rtac, etac, dtac, ftac
24 Jul 11:08 2015Andreas Lochbihler
*goals inserts facts into goal statement
23 Jul 12:32 2015Larry Paulson
*Fwd: isabelle dist build failed
23 Jul 13:40 2015Makarius
**Fwd: isabelle dist build failed
20 Jul 11:40 2015Makarius
*jdk-8u51
20 Jul 10:35 2015Christian Sternagel
*AFP devel not reachable
20 Jul 10:36 2015David Cock
**AFP devel not reachable
20 Jul 11:26 2015Makarius
**AFP devel not reachable
20 Jul 11:32 2015David Cock
***AFP devel not reachable
20 Jul 13:20 2015Bertram Felgenhauer
****AFP devel not reachable
20 Jul 23:49 2015Gerwin Klein
**AFP devel not reachable
18 Jul 23:24 2015Larry Paulson
*Sledgehammer error involving Vampire
18 Jul 23:37 2015Jason Dagit
**Sledgehammer error involving Vampire
19 Jul 13:11 2015Jasmin Blanchette
***Sledgehammer error involving Vampire
13 Jul 16:17 2015Makarius
*NEWS: Subgoal.FOCUS combinators use anonymous quasi-bound variables
13 Jul 09:57 2015Lars Hupel
*State of the builds
10 Jul 21:12 2015Florian Haftmann
*Abstract specification for gcd and lcm – Call for volunteers
2 Jul 15:55 2015Joachim Breitner
*Documentation for the development version?
2 Jul 23:17 2015Makarius
**Documentation for the development version?
2 Jul 14:30 2015Makarius
*NEWS: 'subgoal' command
3 Jul 04:02 2015Daniel Matichuk
**NEWS: 'subgoal' command
3 Jul 07:54 2015Lars Noschinski
***NEWS: 'subgoal' command
6 Jul 07:44 2015Daniel Matichuk
****NEWS: 'subgoal' command
9 Jul 20:59 2015Makarius
*****NEWS: 'subgoal' command
30 Jun 17:49 2015Makarius
*NEWS: standard proof method
30 Jun 14:32 2015Makarius
*NEWS: improved scheduling for urgent print tasks
30 Jun 00:23 2015C. Diekmann
*Deprecating legacy ASCII symbols?
30 Jun 14:13 2015Makarius
**Deprecating legacy ASCII symbols?
30 Jun 16:07 2015Jasmin Blanchette
***Deprecating legacy ASCII symbols?
30 Jun 16:28 2015Lars Noschinski
****Deprecating legacy ASCII symbols?
30 Jun 16:36 2015Makarius
*****Deprecating legacy ASCII symbols?
30 Jun 16:30 2015Makarius
****Deprecating legacy ASCII symbols?
30 Jun 17:43 2015Jasmin Blanchette
*****Deprecating legacy ASCII symbols?
30 Jun 16:26 2015Tobias Nipkow
***Deprecating legacy ASCII symbols?
30 Jun 15:30 2015Larry Paulson
**Deprecating legacy ASCII symbols?
30 Jun 16:57 2015Makarius
***Deprecating legacy ASCII symbols?
1 Jul 01:29 2015Michael Norrish
****Deprecating legacy ASCII symbols?
4 Aug 21:38 2015Makarius
*****Deprecating legacy ASCII symbols?
29 Jun 16:33 2015Lars Noschinski
*Isabelle services not available this weekend (2015-07-03 to 2015-07-06
27 Jun 00:46 2015Makarius
*NEWS: cases from goals
27 Jun 00:59 2015Larry Paulson
**NEWS: cases from goals
30 Jun 00:15 2015Makarius
***NEWS: cases from goals
30 Jun 17:42 2015Makarius
****NEWS: cases from goals
30 Jun 19:34 2015Lars Noschinski
*****NEWS: cases from goals
2 Jul 16:25 2015Makarius
******NEWS: cases from goals
26 Jun 15:23 2015Larry Paulson
*Fwd: isabelle test failed
26 Jun 20:01 2015Makarius
**Fwd: isabelle test failed
27 Jun 00:43 2015Dmitriy Traytel
***Fwd: isabelle test failed
27 Jun 00:49 2015Makarius
****Fwd: isabelle test failed
2 Jul 23:33 2015Makarius
***Fwd: isabelle test failed
13 Jul 14:21 2015Makarius
***Fwd: isabelle test failed
13 Jul 14:25 2015Makarius
****Fwd: isabelle test failed
31 Jul 11:38 2015Makarius
*****Fwd: isabelle test failed
25 Jun 19:09 2015Florian Haftmann
*Euclidean Ring
26 Jun 00:36 2015Manuel Eberl
**Euclidean Ring
27 Jun 09:06 2015Florian Haftmann
***Euclidean Ring
27 Jun 17:31 2015Manuel Eberl
****Euclidean Ring
10 Jul 21:04 2015Florian Haftmann
*****Euclidean Ring
25 Jun 15:00 2015Florian Haftmann
*Problem in AFP near 16e7d42ef7f4
25 Jun 15:52 2015Larry Paulson
**Problem in AFP near 16e7d42ef7f4
25 Jun 16:02 2015Larry Paulson
***Problem in AFP near 16e7d42ef7f4
25 Jun 16:06 2015Florian Haftmann
****Problem in AFP near 16e7d42ef7f4
25 Jun 16:05 2015Florian Haftmann
**Problem in AFP near 16e7d42ef7f4
24 Jun 22:04 2015Makarius
*NEWS: clarified 'case' command
25 Jun 00:30 2015Makarius
**NEWS: clarified 'case' command
24 Jun 21:51 2015Makarius
*NEWS: proof method "sleep"
24 Jun 21:46 2015Makarius
*NEWS: nesting of Isar goal structure
18 Jun 21:31 2015Larry Paulson
*Fwd: test failed (Archive of Formal Proofs)
19 Jun 01:45 2015Tobias Nipkow
**Fwd: test failed (Archive of Formal Proofs)
15 Jun 00:21 2015Makarius
*NEWS: improved 'obtain' with 'is' patterns
15 Jun 00:14 2015Makarius
*NEWS: 'supply' command
15 Jun 00:11 2015Makarius
*NEWS: 'consider' command and "cases" method
15 Jun 00:01 2015Makarius
*NEWS: structured Isar goal statements
15 Jun 11:33 2015Lars Noschinski
**NEWS: structured Isar goal statements
15 Jun 20:30 2015Makarius
***NEWS: structured Isar goal statements
15 Jun 22:36 2015Johannes Hölzl
****NEWS: structured Isar goal statements
24 Jun 21:58 2015Makarius
**NEWS: structured Isar goal statements (update)