Thu, 16 Dec 2010 11:31:07 +0100 | bulwahn | added nitpick to mutabelle script | file | diff | annotate |
Wed, 08 Dec 2010 14:25:07 +0100 | bulwahn | improving the mutabelle script | file | diff | annotate |
Mon, 06 Dec 2010 17:33:25 +0100 | bulwahn | adapting copied bash code in mutabelle script | file | diff | annotate |
Mon, 06 Dec 2010 10:52:46 +0100 | bulwahn | adding mutabelle as a component and an isabelle tool to be used in regression testing | file | diff | annotate |