Sat, 15 Jan 2011 12:48:39 +0100 Added HOL-SPARK and removed old_primrec.ML
berghofe [Sat, 15 Jan 2011 12:48:39 +0100] rev 41566
Added HOL-SPARK and removed old_primrec.ML
Sat, 15 Jan 2011 12:47:52 +0100 unused_thms no longer compares propositions, since this is no longer needed
berghofe [Sat, 15 Jan 2011 12:47:52 +0100] rev 41565
unused_thms no longer compares propositions, since this is no longer needed and did not work properly any longer after the addition of class constraints to propositions.
Sat, 15 Jan 2011 12:42:19 +0100 Include HOL-SPARK keywords
berghofe [Sat, 15 Jan 2011 12:42:19 +0100] rev 41564
Include HOL-SPARK keywords
Sat, 15 Jan 2011 12:41:07 +0100 Include HOL-SPARK
berghofe [Sat, 15 Jan 2011 12:41:07 +0100] rev 41563
Include HOL-SPARK
Sat, 15 Jan 2011 12:38:56 +0100 Finally removed old primrec package, since Primrec.add_primrec_global
berghofe [Sat, 15 Jan 2011 12:38:56 +0100] rev 41562
Finally removed old primrec package, since Primrec.add_primrec_global can be used instead.
Sat, 15 Jan 2011 12:35:29 +0100 Added new SPARK verification environment.
berghofe [Sat, 15 Jan 2011 12:35:29 +0100] rev 41561
Added new SPARK verification environment.
Sat, 15 Jan 2011 12:55:19 +0100 remove presently unused Isabelle application for official releases;
wenzelm [Sat, 15 Jan 2011 12:55:19 +0100] rev 41560
remove presently unused Isabelle application for official releases;
Sat, 15 Jan 2011 12:19:07 +0100 hardwired default for proof-shell-quit-timeout (PG 4.1 provides rather low value);
wenzelm [Sat, 15 Jan 2011 12:19:07 +0100] rev 41559
hardwired default for proof-shell-quit-timeout (PG 4.1 provides rather low value);
Sat, 15 Jan 2011 00:14:17 +0100 treat HOLCF as HOL library session, not as "logic";
wenzelm [Sat, 15 Jan 2011 00:14:17 +0100] rev 41558
treat HOLCF as HOL library session, not as "logic";
Sat, 15 Jan 2011 00:06:01 +0100 increased startup-timeout to accommodate slow systems (especially Windows/Cygwin);
wenzelm [Sat, 15 Jan 2011 00:06:01 +0100] rev 41557
increased startup-timeout to accommodate slow systems (especially Windows/Cygwin);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip