isabelle: Changelog

wenzelm [Tue, 17 May 2005 10:19:43 +0200] rev 15972

export ISABELLE_HOME, do not normalize; tuned;

wenzelm [Tue, 17 May 2005 10:19:42 +0200] rev 15971

removed THIS_IS_ISABELLE_ADMIN;

wenzelm [Tue, 17 May 2005 10:08:24 +0200] rev 15970

removed rev_append; tuned presentation of datatype option: removed apsome, export the and if_none;

wenzelm [Tue, 17 May 2005 10:08:24 +0200] rev 15969

obsolete;

wenzelm [Tue, 17 May 2005 10:05:15 +0200] rev 15968

added;

wenzelm [Tue, 17 May 2005 09:58:40 +0200] rev 15967

proper treatment of directory links; tuned;

kleing [Tue, 17 May 2005 01:24:19 +0200] rev 15966

use Drule.vars_of_terms

paulson [Mon, 16 May 2005 10:29:15 +0200] rev 15965

Use of IntInf.int instead of int in most numeric simprocs; avoids integer overflow in SML/NJ

isabelle