| Mon, 12 May 2003 19:54:43 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 12 May 2003 18:50:07 +0200 | paulson | tweaked | changeset | files |
| Mon, 12 May 2003 18:42:21 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 12 May 2003 18:11:44 +0200 | paulson | oops | changeset | files |
| Mon, 12 May 2003 15:57:46 +0200 | kleing | different colors for new release | changeset | files |
| Mon, 12 May 2003 15:51:34 +0200 | ballarin | Improved entry on Algebra. | changeset | files |
| Mon, 12 May 2003 15:49:37 +0200 | kleing | no separate x-symbol package | changeset | files |
| Mon, 12 May 2003 15:46:35 +0200 | kleing | Isabelle2002 | changeset | files |
| Mon, 12 May 2003 15:46:13 +0200 | kleing | removed new jersey mirror | changeset | files |
| Mon, 12 May 2003 15:07:11 +0200 | kleing | done | changeset | files |
| Mon, 12 May 2003 15:06:43 +0200 | kleing | moved % comments out of ttboxes | changeset | files |
| Mon, 12 May 2003 14:49:08 +0200 | kleing | be nice on sunbroy2 | changeset | files |
| Mon, 12 May 2003 14:17:55 +0200 | kleing | MicroJava LBV | changeset | files |
| Mon, 12 May 2003 14:16:38 +0200 | schirmer | Bali | changeset | files |
| Mon, 12 May 2003 13:57:23 +0200 | kleing | removed references to KDE versions (works for any). | changeset | files |
| Mon, 12 May 2003 13:51:50 +0200 | berghofe | Program extraction framework. | changeset | files |
| Mon, 12 May 2003 13:49:08 +0200 | kleing | smlnj link update, x-symbol/PG update | changeset | files |
| Mon, 12 May 2003 12:36:22 +0200 | paulson | some information for Constructible | changeset | files |
| Mon, 12 May 2003 12:27:10 +0200 | paulson | some information for Complex | changeset | files |
| Mon, 12 May 2003 12:26:50 +0200 | paulson | updated text | changeset | files |
| Mon, 12 May 2003 12:12:19 +0200 | kleing | makefiles for latex runs | changeset | files |
| Mon, 12 May 2003 11:56:29 +0200 | kleing | defer latex run to Makefile (not IsaMakefile) | changeset | files |
| Mon, 12 May 2003 11:54:29 +0200 | kleing | added isar-overview | changeset | files |
| Mon, 12 May 2003 11:34:49 +0200 | kleing | added IsarOverview | changeset | files |
| Mon, 12 May 2003 11:33:55 +0200 | kleing | IsarOverview moved one level up | changeset | files |
| Sat, 10 May 2003 20:53:02 +0200 | berghofe | Added new function eta_long. | changeset | files |
| Sat, 10 May 2003 20:52:18 +0200 | berghofe | - Added split_min and split_max to preprocessor | changeset | files |
| Fri, 09 May 2003 18:00:30 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 09 May 2003 17:19:58 +0200 | ballarin | NEWS updated for HOL-Algebra. | changeset | files |
| Fri, 09 May 2003 14:21:07 +0200 | kleing | tuned | changeset | files |
| Fri, 09 May 2003 14:15:50 +0200 | kleing | only make development snapshots for successful tests | changeset | files |
| Fri, 09 May 2003 14:08:04 +0200 | kleing | fixes | changeset | files |
| Fri, 09 May 2003 12:08:00 +0200 | kleing | var/run -> var/running | changeset | files |
| Fri, 09 May 2003 12:02:57 +0200 | kleing | tuned | changeset | files |
| Fri, 09 May 2003 11:56:16 +0200 | kleing | typo | changeset | files |
| Fri, 09 May 2003 11:54:33 +0200 | kleing | add cleanup of old error log and test-still-running files | changeset | files |
| Fri, 09 May 2003 11:54:04 +0200 | kleing | tuned | changeset | files |
| Fri, 09 May 2003 11:47:29 +0200 | kleing | check for error log, send mail if exists | changeset | files |
| Fri, 09 May 2003 11:26:17 +0200 | kleing | leave error messages in error.log, send only one email for all platforms | changeset | files |
| Thu, 08 May 2003 17:44:38 +0200 | paulson | new theory Complex_Main as basis for analysis developments | changeset | files |
| Thu, 08 May 2003 15:23:21 +0200 | paulson | now refers to Complex and Complex_Main | changeset | files |
| Thu, 08 May 2003 13:37:51 +0200 | kleing | -> HOL-Complex-HahnBanach in clean target | changeset | files |
| Thu, 08 May 2003 13:36:07 +0200 | kleing | fix euro error | changeset | files |
| Thu, 08 May 2003 13:10:02 +0200 | paulson | removed obsolete references to HOL-Real | changeset | files |
| Thu, 08 May 2003 12:52:15 +0200 | paulson | HOL-Complex | changeset | files |
| Thu, 08 May 2003 12:51:55 +0200 | paulson | auto update | changeset | files |
| Thu, 08 May 2003 12:50:27 +0200 | paulson | HOL-Real -> HOL-Complex | changeset | files |
| Thu, 08 May 2003 10:35:24 +0200 | paulson | new version copied here | changeset | files |
| Wed, 07 May 2003 22:07:33 +0200 | ballarin | Small changes for release Isabelle 2003. | changeset | files |
| Wed, 07 May 2003 17:46:04 +0200 | kleing | use different main class for batch mode | changeset | files |
| Wed, 07 May 2003 17:41:23 +0200 | kleing | fixed javac warning | changeset | files |
| Wed, 07 May 2003 17:40:48 +0200 | kleing | fixed uncollapsed dirs (should be collapsed by default) | changeset | files |
| Wed, 07 May 2003 17:06:11 +0200 | kleing | target clean, compile Console.java | changeset | files |
| Wed, 07 May 2003 17:04:45 +0200 | kleing | cleanup, comments | changeset | files |
| Wed, 07 May 2003 16:58:17 +0200 | berghofe | Some tuning: | changeset | files |
| Wed, 07 May 2003 16:38:55 +0200 | kleing | eliminated dependencies on AWT for batch mode | changeset | files |
| Wed, 07 May 2003 14:53:35 +0200 | kleing | fixed HOL-Real-HahnBanach (-> HOL-Complex-HahnBanach) | changeset | files |
| Tue, 06 May 2003 17:45:54 +0200 | paulson | removal of the image HOL-Real and merging of HOL-Real-ex with HOL-Complex-ex | changeset | files |
| Tue, 06 May 2003 12:29:49 +0200 | kleing | use -Smax with poly 4.1.3 for maximum database space (see poly release notes) | changeset | files |
| Tue, 06 May 2003 10:47:17 +0200 | kleing | fixed missing -g true for HOL-Auth | changeset | files |