isabelle: Changelog

wenzelm [Thu, 22 Nov 2001 23:15:12 +0100] rev 12269

tuned;

wenzelm [Thu, 22 Nov 2001 17:14:17 +0100] rev 12268

added uname; syntax for locale expressions (presently unused);

wenzelm [Thu, 22 Nov 2001 17:13:36 +0100] rev 12267

tuned;

wenzelm [Thu, 22 Nov 2001 17:13:24 +0100] rev 12266

thm "point.defs";

wenzelm [Thu, 22 Nov 2001 17:13:06 +0100] rev 12265

recovered original "make"; added "fields" operation; renamed "derived_defs" to "defs";

wenzelm [Thu, 22 Nov 2001 17:12:08 +0100] rev 12264

renamed "fields" to "flds" (avoid clash with new "fields" operation);

wenzelm [Wed, 21 Nov 2001 20:20:18 +0100] rev 12263

locale expressions;

wenzelm [Wed, 21 Nov 2001 00:36:51 +0100] rev 12262

use tracing function for trace output;

wenzelm [Wed, 21 Nov 2001 00:35:13 +0100] rev 12261

tracing_fn;

wenzelm [Wed, 21 Nov 2001 00:34:38 +0100] rev 12260

added tracing, tracing_fn;

isabelle