isabelle: Changelog

wenzelm [Tue, 07 Oct 1997 18:02:02 +0200] rev 3805

improved types of add_XXX funs (xtyp etc.); tuned comments; tuned msgs; improved merge: no longer raises ERROR, but TERM;

wenzelm [Tue, 07 Oct 1997 17:58:50 +0200] rev 3804

tuned decode;

wenzelm [Tue, 07 Oct 1997 17:58:01 +0200] rev 3803

tuned internal mapping table; improved merge: 2nd overrides 1st;

wenzelm [Tue, 07 Oct 1997 17:08:48 +0200] rev 3802

tuned;

wenzelm [Tue, 07 Oct 1997 17:06:05 +0200] rev 3801

tuned warning msg;

wenzelm [Tue, 07 Oct 1997 12:37:53 +0200] rev 3800

tuned;

wenzelm [Tue, 07 Oct 1997 12:29:34 +0200] rev 3799

The Isabelle Logo;

wenzelm [Mon, 06 Oct 1997 20:00:31 +0200] rev 3798

fixed 'begin';

wenzelm [Mon, 06 Oct 1997 19:39:40 +0200] rev 3797

optional begin keyword;

wenzelm [Mon, 06 Oct 1997 19:16:57 +0200] rev 3796

"->" made syntax;

isabelle