isabelle: Changelog

wenzelm [Thu, 02 Aug 2012 15:05:32 +0200] rev 48648

tuned;

wenzelm [Thu, 02 Aug 2012 13:37:58 +0200] rev 48647

report commands as formal entities, with def/ref positions;

wenzelm [Thu, 02 Aug 2012 12:36:54 +0200] rev 48646

more official command specifications, including source position;

wenzelm [Thu, 02 Aug 2012 11:32:23 +0200] rev 48645

more antiquotations;

wenzelm [Thu, 02 Aug 2012 00:18:20 +0200] rev 48644

declare keywords only once;

wenzelm [Thu, 02 Aug 2012 00:15:32 +0200] rev 48643

more antiquotations;

wenzelm [Thu, 02 Aug 2012 00:02:00 +0200] rev 48642

more antiquotations;

wenzelm [Wed, 01 Aug 2012 23:33:26 +0200] rev 48641

more standard bootstrapping of Pure outer syntax;

wenzelm [Wed, 01 Aug 2012 22:12:29 +0200] rev 48640

fixed document;

wenzelm [Wed, 01 Aug 2012 22:11:54 +0200] rev 48639

store parent heap stamp as well -- needs to be propagated through the build hierarchy; misc tuning;

isabelle