isabelle: Changelog

wenzelm [Sat, 21 Jan 2006 23:02:14 +0100] rev 18728

simplified type attribute;

mengj [Fri, 20 Jan 2006 04:53:59 +0100] rev 18727

type information is now also printed.

mengj [Fri, 20 Jan 2006 04:50:01 +0100] rev 18726

added some debugging code.

mengj [Fri, 20 Jan 2006 04:35:23 +0100] rev 18725

fixed a bug

wenzelm [Thu, 19 Jan 2006 21:22:30 +0100] rev 18724

quote "atom";

wenzelm [Thu, 19 Jan 2006 21:22:29 +0100] rev 18723

updated;

wenzelm [Thu, 19 Jan 2006 21:22:27 +0100] rev 18722

* ML/Isar: theory setup has type (theory -> theory);

wenzelm [Thu, 19 Jan 2006 21:22:26 +0100] rev 18721

use/use_thy: Output.toplevel_errors;

wenzelm [Thu, 19 Jan 2006 21:22:25 +0100] rev 18720

added basic syntax; removed pure syntax;

wenzelm [Thu, 19 Jan 2006 21:22:24 +0100] rev 18719

moved pure syntax to Syntax/syntax.ML and pure_thy.ML;

isabelle