| Wed, 15 Dec 2010 20:52:20 +0100 | wenzelm | show: display goal refinement rule as "state", to avoid odd Output.urgent_message and make its association with the goal more explicit; | changeset | files |
| Wed, 15 Dec 2010 19:41:24 +0100 | blanchet | make sure errors generated in a thread don't vanish in cyberspace (e.g., when invoking Sledgehammer with unknown facts) | changeset | files |
| Wed, 15 Dec 2010 18:45:14 +0100 | bulwahn | merged | changeset | files |
| Wed, 15 Dec 2010 17:46:46 +0100 | bulwahn | adding postprocessing for maps in term construction of quickcheck; fixed check_all_option definition | changeset | files |
| Wed, 15 Dec 2010 17:46:46 +0100 | bulwahn | added enum_term_of to correct present nested functions | changeset | files |
| Wed, 15 Dec 2010 17:46:45 +0100 | bulwahn | adding postprocessing for sets in term construction of quickcheck | changeset | files |
| Wed, 15 Dec 2010 18:20:44 +0100 | boehmes | merged | changeset | files |