Fri, 22 Apr 2005 01:38:13 +0200 updated, added Admin/page after-release maintenance
kleing [Fri, 22 Apr 2005 01:38:13 +0200] rev 15808
updated, added Admin/page after-release maintenance
Fri, 22 Apr 2005 00:34:15 +0200 wakeonlan for macbroy33
isatest [Fri, 22 Apr 2005 00:34:15 +0200] rev 15807
wakeonlan for macbroy33
Fri, 22 Apr 2005 00:31:30 +0200 test stable and devel version of smlnj
kleing [Fri, 22 Apr 2005 00:31:30 +0200] rev 15806
test stable and devel version of smlnj
Thu, 21 Apr 2005 22:10:12 +0200 adapt theories and ML files to new CPure/Pure arrangement;
wenzelm [Thu, 21 Apr 2005 22:10:12 +0200] rev 15805
adapt theories and ML files to new CPure/Pure arrangement;
Thu, 21 Apr 2005 22:06:18 +0200 The CPure theory -- Pure with alternative application syntax.
wenzelm [Thu, 21 Apr 2005 22:06:18 +0200] rev 15804
The CPure theory -- Pure with alternative application syntax.
Thu, 21 Apr 2005 22:06:00 +0200 The Pure theory.
wenzelm [Thu, 21 Apr 2005 22:06:00 +0200] rev 15803
The Pure theory.
Thu, 21 Apr 2005 22:04:01 +0200 removed;
wenzelm [Thu, 21 Apr 2005 22:04:01 +0200] rev 15802
removed;
Thu, 21 Apr 2005 22:02:06 +0200 superceded by Pure.thy and CPure.thy;
wenzelm [Thu, 21 Apr 2005 22:02:06 +0200] rev 15801
superceded by Pure.thy and CPure.thy;
Thu, 21 Apr 2005 22:00:28 +0200 adapt theories and ML files to new CPure/Pure arrangement;
wenzelm [Thu, 21 Apr 2005 22:00:28 +0200] rev 15800
adapt theories and ML files to new CPure/Pure arrangement;
Thu, 21 Apr 2005 19:16:19 +0200 Adapted use command to new behaviour of Toplevel.node_trans
berghofe [Thu, 21 Apr 2005 19:16:19 +0200] rev 15799
Adapted use command to new behaviour of Toplevel.node_trans
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip