2003-05-15 kleing 2003-05-15 give tests time to copy settings
2003-05-14 schirmer 2003-05-14 Added Bali to test
2003-05-14 schirmer 2003-05-14 Adapted to changes in Map.thy
2003-05-14 kleing 2003-05-14 use proof objects for HOL by default
2003-05-14 nipkow 2003-05-14 eparation logic - a beginning.
2003-05-14 nipkow 2003-05-14 *** empty log message ***
2003-05-14 nipkow 2003-05-14 *** empty log message ***
2003-05-14 nipkow 2003-05-14 *** empty log message ***
2003-05-13 kleing 2003-05-13 HOL-Real -> HOL-Complex Isabelle2003
2003-05-12 nipkow 2003-05-12 *** empty log message ***
2003-05-12 paulson 2003-05-12 tweaked
2003-05-12 nipkow 2003-05-12 *** empty log message ***
2003-05-12 paulson 2003-05-12 oops
2003-05-12 kleing 2003-05-12 different colors for new release
2003-05-12 ballarin 2003-05-12 Improved entry on Algebra.
2003-05-12 kleing 2003-05-12 no separate x-symbol package
2003-05-12 kleing 2003-05-12 Isabelle2002
2003-05-12 kleing 2003-05-12 removed new jersey mirror
2003-05-12 kleing 2003-05-12 done
2003-05-12 kleing 2003-05-12 moved % comments out of ttboxes
2003-05-12 kleing 2003-05-12 be nice on sunbroy2
2003-05-12 kleing 2003-05-12 MicroJava LBV
2003-05-12 schirmer 2003-05-12 Bali
2003-05-12 kleing 2003-05-12 removed references to KDE versions (works for any).
2003-05-12 berghofe 2003-05-12 Program extraction framework.
2003-05-12 kleing 2003-05-12 smlnj link update, x-symbol/PG update
2003-05-12 paulson 2003-05-12 some information for Constructible
2003-05-12 paulson 2003-05-12 some information for Complex
2003-05-12 paulson 2003-05-12 updated text
2003-05-12 kleing 2003-05-12 makefiles for latex runs
2003-05-12 kleing 2003-05-12 defer latex run to Makefile (not IsaMakefile)
2003-05-12 kleing 2003-05-12 added isar-overview
2003-05-12 kleing 2003-05-12 added IsarOverview
2003-05-12 kleing 2003-05-12 IsarOverview moved one level up
2003-05-10 berghofe 2003-05-10 Added new function eta_long.
2003-05-10 berghofe 2003-05-10 - Added split_min and split_max to preprocessor - Moved eta_long to Pure/pattern.ML
2003-05-09 nipkow 2003-05-09 *** empty log message ***
2003-05-09 ballarin 2003-05-09 NEWS updated for HOL-Algebra.
2003-05-09 kleing 2003-05-09 tuned
2003-05-09 kleing 2003-05-09 only make development snapshots for successful tests
2003-05-09 kleing 2003-05-09 fixes
2003-05-09 kleing 2003-05-09 var/run -> var/running
2003-05-09 kleing 2003-05-09 tuned
2003-05-09 kleing 2003-05-09 typo
2003-05-09 kleing 2003-05-09 add cleanup of old error log and test-still-running files
2003-05-09 kleing 2003-05-09 tuned
2003-05-09 kleing 2003-05-09 check for error log, send mail if exists
2003-05-09 kleing 2003-05-09 leave error messages in error.log, send only one email for all platforms
2003-05-08 paulson 2003-05-08 new theory Complex_Main as basis for analysis developments
2003-05-08 paulson 2003-05-08 now refers to Complex and Complex_Main
2003-05-08 kleing 2003-05-08 -> HOL-Complex-HahnBanach in clean target
2003-05-08 kleing 2003-05-08 fix euro error
2003-05-08 paulson 2003-05-08 removed obsolete references to HOL-Real
2003-05-08 paulson 2003-05-08 HOL-Complex
2003-05-08 paulson 2003-05-08 auto update
2003-05-08 paulson 2003-05-08 HOL-Real -> HOL-Complex
2003-05-08 paulson 2003-05-08 new version copied here
2003-05-07 ballarin 2003-05-07 Small changes for release Isabelle 2003.
2003-05-07 kleing 2003-05-07 use different main class for batch mode
2003-05-07 kleing 2003-05-07 fixed javac warning