isabelle: Changelog

kleing [Fri, 22 Apr 2005 01:48:08 +0200] rev 15809

check in Isabelle2004 versions to make web page changes easier

kleing [Fri, 22 Apr 2005 01:38:13 +0200] rev 15808

updated, added Admin/page after-release maintenance

isatest [Fri, 22 Apr 2005 00:34:15 +0200] rev 15807

wakeonlan for macbroy33

kleing [Fri, 22 Apr 2005 00:31:30 +0200] rev 15806

test stable and devel version of smlnj

wenzelm [Thu, 21 Apr 2005 22:10:12 +0200] rev 15805

adapt theories and ML files to new CPure/Pure arrangement;

wenzelm [Thu, 21 Apr 2005 22:06:18 +0200] rev 15804

The CPure theory -- Pure with alternative application syntax.

wenzelm [Thu, 21 Apr 2005 22:06:00 +0200] rev 15803

The Pure theory.

wenzelm [Thu, 21 Apr 2005 22:04:01 +0200] rev 15802

removed;

wenzelm [Thu, 21 Apr 2005 22:02:06 +0200] rev 15801

superceded by Pure.thy and CPure.thy;

wenzelm [Thu, 21 Apr 2005 22:00:28 +0200] rev 15800

adapt theories and ML files to new CPure/Pure arrangement;

isabelle