isabelle: Changelog

wenzelm [Tue, 08 Apr 2008 19:17:34 +0200] rev 26581

tuned;

krauss [Tue, 08 Apr 2008 18:30:40 +0200] rev 26580

Generic conversion and tactic "atomize_elim" to convert elimination rules to the object logic

wenzelm [Tue, 08 Apr 2008 15:47:15 +0200] rev 26579

obsolete;

wenzelm [Tue, 08 Apr 2008 15:47:14 +0200] rev 26578

removed isatool expandshort; added isatool yxml;

wenzelm [Tue, 08 Apr 2008 15:47:12 +0200] rev 26577

removed obsolete AUTO_BASH feature;

wenzelm [Tue, 08 Apr 2008 15:47:10 +0200] rev 26576

removed obsolete AUTO_PERL feature;

wenzelm [Tue, 08 Apr 2008 15:47:05 +0200] rev 26575

support for YXML notation -- XML done right;

wenzelm [Tue, 08 Apr 2008 11:59:25 +0200] rev 26574

support "YXML" mode for output transfer notation; tuned;

kleing [Tue, 08 Apr 2008 09:42:18 +0200] rev 26573

removed abbrev for word_power. Was in the wrong direction and unused.

wenzelm [Mon, 07 Apr 2008 21:29:46 +0200] rev 26572

prefer plain ASCII here;

isabelle