| Sun, 06 Oct 2013 20:24:05 +0200 | blanchet | rationalized negation code | changeset | files |
| Sat, 05 Oct 2013 11:06:07 +0200 | blanchet | honor externally set MASH_PORT | changeset | files |
| Fri, 04 Oct 2013 18:27:07 +0200 | panny | process code-style inputs | changeset | files |
| Fri, 04 Oct 2013 17:00:35 +0200 | blanchet | more tracing | changeset | files |
| Fri, 04 Oct 2013 16:51:26 +0200 | blanchet | more thorough spying | changeset | files |
| Fri, 04 Oct 2013 16:11:19 +0200 | blanchet | more Sledgehammer spying -- record fact indices | changeset | files |
| Fri, 04 Oct 2013 14:35:00 +0200 | blanchet | prevent explosion in monomorphizer (e.g. when the facts typerep_int_def typerep_num_def typerep_option_def typerep_node_def are selected) | changeset | files |
| Fri, 04 Oct 2013 12:59:18 +0200 | blanchet | removed pointless special case | changeset | files |