| Wed, 07 Mar 2012 13:00:30 +0000 | sultana | added sh_minimize and preplay_timeout options to Mirabelle's Sledgehammer action; | changeset | files |
| Wed, 07 Mar 2012 13:00:30 +0000 | sultana | added Mirabelle action info in its log file; tuned; | changeset | files |
| Tue, 06 Mar 2012 17:01:37 +0000 | paulson | More mathematical symbols for ZF examples | changeset | files |