isabelle: Changelog

wenzelm [Thu, 13 Nov 2008 22:06:36 +0100] rev 28784

renamed "Rules" to "Object-level rules";

wenzelm [Thu, 13 Nov 2008 22:05:49 +0100] rev 28783

more on basic tactics;

wenzelm [Thu, 13 Nov 2008 22:05:09 +0100] rev 28782

basic ML reference for tactics;

wenzelm [Thu, 13 Nov 2008 22:04:19 +0100] rev 28781

added section "Tactics";

wenzelm [Thu, 13 Nov 2008 22:03:26 +0100] rev 28780

more contributors;

wenzelm [Thu, 13 Nov 2008 22:02:18 +0100] rev 28779

separate section "Inspecting the syntax" for print_syntax;

wenzelm [Thu, 13 Nov 2008 22:01:30 +0100] rev 28778

misc tuning of inner syntax;

wenzelm [Thu, 13 Nov 2008 22:00:39 +0100] rev 28777

added inner lexical syntax, reusing outer one;

wenzelm [Thu, 13 Nov 2008 22:00:12 +0100] rev 28776

misc tuning;

wenzelm [Thu, 13 Nov 2008 21:59:47 +0100] rev 28775

tuned outer lexical syntax; fixed var/tvar: really need question marks here;

isabelle