| Wed, 15 Dec 2010 09:47:12 +0100 | haftmann | simplified evaluation function names | changeset | files |
| Thu, 16 Dec 2010 09:10:38 +0100 | boehmes | turned simp_trace_depth_limit into a configuration option | changeset | files |
| Wed, 15 Dec 2010 19:15:06 -0800 | huffman | add notsqsubseteq syntax | changeset | files |
| 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 |