Sun, 04 May 2014 18:53:58 +0200 | blanchet | added 'satx' proof method to Try0 | file | diff | annotate |
Fri, 14 Mar 2014 16:54:01 +0100 | wenzelm | prefer more robust Synchronized.var; | file | diff | annotate |
Fri, 12 Jul 2013 23:45:05 +0200 | wenzelm | system options for Isabelle/HOL proof tools; | file | diff | annotate |
Wed, 31 Oct 2012 11:23:21 +0100 | blanchet | repaired "Mutabelle" after Refute move | file | diff | annotate |
Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
Sat, 11 Feb 2012 12:13:08 +0100 | bulwahn | making num_mutations a configuration that can be changed with the mutabelle bash command | file | diff | annotate |
Sat, 11 Feb 2012 11:36:23 +0100 | bulwahn | making max_mutants an option that can be changed in the Mutabelle-script | file | diff | annotate |