| Sat, 15 Jan 2011 12:38:56 +0100 | berghofe | Finally removed old primrec package, since Primrec.add_primrec_global | changeset | files |
| Sat, 15 Jan 2011 12:35:29 +0100 | berghofe | Added new SPARK verification environment. | changeset | files |
| Sat, 15 Jan 2011 12:55:19 +0100 | wenzelm | remove presently unused Isabelle application for official releases; | changeset | files |
| Sat, 15 Jan 2011 12:19:07 +0100 | wenzelm | hardwired default for proof-shell-quit-timeout (PG 4.1 provides rather low value); | changeset | files |
| Sat, 15 Jan 2011 00:14:17 +0100 | wenzelm | treat HOLCF as HOL library session, not as "logic"; | changeset | files |
| Sat, 15 Jan 2011 00:06:01 +0100 | wenzelm | increased startup-timeout to accommodate slow systems (especially Windows/Cygwin); | changeset | files |