isabelle: Changelog

wenzelm [Thu, 13 Nov 2008 22:36:30 +0100] rev 28786

updated generated files;

wenzelm [Thu, 13 Nov 2008 22:07:31 +0100] rev 28785

added section "Explicit instantiation within a subgoal context";

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;

isabelle