Sun, 13 Mar 2011 16:52:59 +0100 | wenzelm | more conventional Mutabelle settings -- similar to Mirabelle; | file | diff | annotate |
Mon, 20 Dec 2010 15:19:15 +0100 | wenzelm | tuned/clarified some component settings; | file | diff | annotate |
Wed, 08 Dec 2010 14:25:07 +0100 | bulwahn | improving the 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 |