paulson [Mon, 12 May 2003 12:26:50 +0200] rev 14004
updated text
kleing [Mon, 12 May 2003 12:12:19 +0200] rev 14003
makefiles for latex runs
kleing [Mon, 12 May 2003 11:56:29 +0200] rev 14002
defer latex run to Makefile (not IsaMakefile)
kleing [Mon, 12 May 2003 11:54:29 +0200] rev 14001
added isar-overview
kleing [Mon, 12 May 2003 11:34:49 +0200] rev 14000
added IsarOverview
kleing [Mon, 12 May 2003 11:33:55 +0200] rev 13999
IsarOverview moved one level up
berghofe [Sat, 10 May 2003 20:53:02 +0200] rev 13998
Added new function eta_long.
berghofe [Sat, 10 May 2003 20:52:18 +0200] rev 13997
- Added split_min and split_max to preprocessor
- Moved eta_long to Pure/pattern.ML
nipkow [Fri, 09 May 2003 18:00:30 +0200] rev 13996
*** empty log message ***
ballarin [Fri, 09 May 2003 17:19:58 +0200] rev 13995
NEWS updated for HOL-Algebra.
kleing [Fri, 09 May 2003 14:21:07 +0200] rev 13994
tuned
kleing [Fri, 09 May 2003 14:15:50 +0200] rev 13993
only make development snapshots for successful tests
kleing [Fri, 09 May 2003 14:08:04 +0200] rev 13992
fixes
kleing [Fri, 09 May 2003 12:08:00 +0200] rev 13991
var/run -> var/running
kleing [Fri, 09 May 2003 12:02:57 +0200] rev 13990
tuned
kleing [Fri, 09 May 2003 11:56:16 +0200] rev 13989
typo
kleing [Fri, 09 May 2003 11:54:33 +0200] rev 13988
add cleanup of old error log and test-still-running files
kleing [Fri, 09 May 2003 11:54:04 +0200] rev 13987
tuned
kleing [Fri, 09 May 2003 11:47:29 +0200] rev 13986
check for error log, send mail if exists
kleing [Fri, 09 May 2003 11:26:17 +0200] rev 13985
leave error messages in error.log, send only one email for all platforms
paulson [Thu, 08 May 2003 17:44:38 +0200] rev 13984
new theory Complex_Main as basis for analysis developments
paulson [Thu, 08 May 2003 15:23:21 +0200] rev 13983
now refers to Complex and Complex_Main
kleing [Thu, 08 May 2003 13:37:51 +0200] rev 13982
-> HOL-Complex-HahnBanach in clean target
kleing [Thu, 08 May 2003 13:36:07 +0200] rev 13981
fix euro error
paulson [Thu, 08 May 2003 13:10:02 +0200] rev 13980
removed obsolete references to HOL-Real
paulson [Thu, 08 May 2003 12:52:15 +0200] rev 13979
HOL-Complex
paulson [Thu, 08 May 2003 12:51:55 +0200] rev 13978
auto update
paulson [Thu, 08 May 2003 12:50:27 +0200] rev 13977
HOL-Real -> HOL-Complex