isabelle: Changelog

wenzelm [Mon, 02 May 2011 22:19:28 +0200] rev 42636

no use of package rail;

wenzelm [Mon, 02 May 2011 22:06:49 +0200] rev 42635

obsolete;

wenzelm [Mon, 02 May 2011 22:05:47 +0200] rev 42634

removed rail garbage;

wenzelm [Mon, 02 May 2011 22:03:18 +0200] rev 42633

NEWS;

wenzelm [Mon, 02 May 2011 22:00:38 +0200] rev 42632

just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure;

wenzelm [Mon, 02 May 2011 21:59:47 +0200] rev 42631

proper treatment of underscore in rail diagrams;

wenzelm [Mon, 02 May 2011 21:46:54 +0200] rev 42630

simplified rail setup, using plain defaults (NB: \small is incompatible with \isabellestyle used here);

wenzelm [Mon, 02 May 2011 21:42:36 +0200] rev 42629

eliminated external rail executable;

wenzelm [Mon, 02 May 2011 21:41:39 +0200] rev 42628

removed obsolete rail diagrams (which were about old-style theory syntax);

wenzelm [Mon, 02 May 2011 21:33:21 +0200] rev 42627

moved material about old codegen to isar-ref manual; eliminated old rail diagram;

isabelle