isabelle: Changelog

blanchet [Mon, 02 May 2011 22:52:15 +0200] rev 42639

proper default for TPTP source filed

blanchet [Mon, 02 May 2011 22:52:15 +0200] rev 42638

have each ATP filter out dangerous facts for themselves, based on their type system

wenzelm [Mon, 02 May 2011 22:31:46 +0200] rev 42637

eliminated old CVS Ids;

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);

isabelle