src/HOL/Mutabelle/lib/Tools/mutabelle
Mon, 20 Dec 2010 15:24:25 +0100 wenzelm some attempts to fit diagnostic output into regular TTY (75-80 characters per line);
Thu, 16 Dec 2010 11:31:07 +0100 bulwahn added nitpick to mutabelle script
Wed, 08 Dec 2010 14:25:07 +0100 bulwahn improving the mutabelle script
Mon, 06 Dec 2010 17:33:25 +0100 bulwahn adapting copied bash code in mutabelle script
Mon, 06 Dec 2010 10:52:46 +0100 bulwahn adding mutabelle as a component and an isabelle tool to be used in regression testing
less more (0) tip