| Wed, 17 Sep 2008 11:42:25 +0200 | haftmann | moved term_of syntax to separate theory | changeset | files |
| Wed, 17 Sep 2008 10:00:16 +0200 | haftmann | removed obsolete theory | changeset | files |
| Wed, 17 Sep 2008 07:32:04 +0200 | haftmann | added quickcheck.ML | changeset | files |
| Tue, 16 Sep 2008 18:01:25 +0200 | wenzelm | tuned comments; | changeset | files |
| Tue, 16 Sep 2008 18:01:24 +0200 | wenzelm | multithreading for Poly/ML 5.1 is no longer supported; | changeset | files |
| Tue, 16 Sep 2008 17:28:37 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Sep 2008 17:21:14 +0200 | wenzelm | updated system manual; | changeset | files |
| Tue, 16 Sep 2008 17:18:41 +0200 | wenzelm | Proof General / Emacs interface wrapper; | changeset | files |
| Tue, 16 Sep 2008 17:16:28 +0200 | wenzelm | Proof General: option -I is obsolete; | changeset | files |
| Tue, 16 Sep 2008 17:16:27 +0200 | wenzelm | added PROOFGENERAL_HOME; | changeset | files |
| Tue, 16 Sep 2008 17:16:25 +0200 | wenzelm | separate emacs tool for Proof General / Emacs; | changeset | files |
| Tue, 16 Sep 2008 16:13:31 +0200 | haftmann | added quickcheck stub | changeset | files |