| Mon, 30 May 2011 17:00:38 +0200 | blanchet | better merging of similar outputs | changeset | files |
| Mon, 30 May 2011 17:00:38 +0200 | blanchet | update minimization documentation | changeset | files |
| Mon, 30 May 2011 17:00:38 +0200 | blanchet | imported patch sledge_doc_metis_as_prover | changeset | files |
| Mon, 30 May 2011 17:00:38 +0200 | blanchet | automatically minimize with Metis when this can be done within a few seconds | changeset | files |
| Mon, 30 May 2011 17:00:38 +0200 | blanchet | minimize with Metis if possible | changeset | files |
| Mon, 30 May 2011 17:00:38 +0200 | blanchet | support "metis" and "metisFT" as provers in the architecture, so they can be used for minimizing | changeset | files |
| Mon, 30 May 2011 15:30:05 +0100 | paulson | Workaround for hyperref bug affecting index entries involving the | symbol | changeset | files |