kleing [Mon, 12 May 2003 15:57:46 +0200] rev 14019
different colors for new release
ballarin [Mon, 12 May 2003 15:51:34 +0200] rev 14018
Improved entry on Algebra.
kleing [Mon, 12 May 2003 15:49:37 +0200] rev 14017
no separate x-symbol package
kleing [Mon, 12 May 2003 15:46:35 +0200] rev 14016
Isabelle2002
kleing [Mon, 12 May 2003 15:46:13 +0200] rev 14015
removed new jersey mirror
kleing [Mon, 12 May 2003 15:07:11 +0200] rev 14014
done
kleing [Mon, 12 May 2003 15:06:43 +0200] rev 14013
moved % comments out of ttboxes
kleing [Mon, 12 May 2003 14:49:08 +0200] rev 14012
be nice on sunbroy2
kleing [Mon, 12 May 2003 14:17:55 +0200] rev 14011
MicroJava LBV
schirmer [Mon, 12 May 2003 14:16:38 +0200] rev 14010
Bali
kleing [Mon, 12 May 2003 13:57:23 +0200] rev 14009
removed references to KDE versions (works for any).
berghofe [Mon, 12 May 2003 13:51:50 +0200] rev 14008
Program extraction framework.
kleing [Mon, 12 May 2003 13:49:08 +0200] rev 14007
smlnj link update, x-symbol/PG update
paulson [Mon, 12 May 2003 12:36:22 +0200] rev 14006
some information for Constructible
paulson [Mon, 12 May 2003 12:27:10 +0200] rev 14005
some information for Complex
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