| Thu, 28 Sep 2000 14:40:38 +0200 | wenzelm | option -C; | changeset | files |
| Thu, 28 Sep 2000 14:36:20 +0200 | wenzelm | Isabelle99-1 (October 2000); | changeset | files |
| Thu, 28 Sep 2000 14:36:02 +0200 | wenzelm | support copy option; | changeset | files |
| Thu, 28 Sep 2000 14:35:42 +0200 | wenzelm | ./build -b -m Pure-copied Pure; | changeset | files |
| Thu, 28 Sep 2000 14:35:23 +0200 | wenzelm | only run quick_and_dirty version by default; | changeset | files |
| Thu, 28 Sep 2000 14:34:49 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 28 Sep 2000 13:12:23 +0200 | paulson | deleted card_0_empty_iff because it is the same as card_0_eq; | changeset | files |
| Wed, 27 Sep 2000 19:51:11 +0200 | wenzelm | THIS_IS_ISABELLE_BUILD; | changeset | files |
| Wed, 27 Sep 2000 19:39:50 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 27 Sep 2000 19:37:32 +0200 | wenzelm | tuned comment; | changeset | files |
| Wed, 27 Sep 2000 19:36:31 +0200 | wenzelm | proper Hyperreal setup; | changeset | files |
| Wed, 27 Sep 2000 19:34:46 +0200 | wenzelm | more symbolic syntax (currently "input"); | changeset | files |
| Wed, 27 Sep 2000 11:20:30 +0200 | paulson | exchanged the declaration of "seealso" and loading of "makeidx" because the | changeset | files |
| Tue, 26 Sep 2000 18:27:50 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 26 Sep 2000 18:24:01 +0200 | wenzelm | FAKE_BUILD=""; | changeset | files |
| Tue, 26 Sep 2000 18:23:29 +0200 | wenzelm | updated; | changeset | files |
| Tue, 26 Sep 2000 18:15:21 +0200 | wenzelm | updated; | changeset | files |
| Tue, 26 Sep 2000 18:09:38 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 26 Sep 2000 17:34:33 +0200 | wenzelm | replaced by document (cannot maintain both); | changeset | files |
| Tue, 26 Sep 2000 17:07:28 +0200 | wenzelm | simplified; | changeset | files |
| Tue, 26 Sep 2000 17:06:16 +0200 | wenzelm | weblint; | changeset | files |
| Tue, 26 Sep 2000 17:05:20 +0200 | wenzelm | got rid of RPM; | changeset | files |
| Tue, 26 Sep 2000 17:05:01 +0200 | wenzelm | make Isabelle logic images for current platform; | changeset | files |
| Tue, 26 Sep 2000 17:04:17 +0200 | wenzelm | simplified; | changeset | files |
| Tue, 26 Sep 2000 17:03:52 +0200 | wenzelm | HOL/MicroJava; | changeset | files |
| Tue, 26 Sep 2000 17:02:51 +0200 | wenzelm | www.proofgeneral.org; | changeset | files |
| Tue, 26 Sep 2000 17:01:59 +0200 | wenzelm | updated url; | changeset | files |
| Tue, 26 Sep 2000 17:01:31 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 26 Sep 2000 16:42:24 +0200 | paulson | removed the obsolete (and badly named) inj_select | changeset | files |
| Mon, 25 Sep 2000 18:25:48 +0200 | wenzelm | tuned; | changeset | files |