| Mon, 30 May 2011 17:07:48 +0200 | krauss | moved questionable goal modification out of filter_theorems | changeset | files |
| Mon, 30 May 2011 17:07:48 +0200 | krauss | exported raw query parser; removed inconsistent clone | changeset | files |
| Mon, 30 May 2011 17:07:48 +0200 | krauss | separate query parsing from actual search | changeset | files |
| Mon, 30 May 2011 17:00:38 +0200 | blanchet | fixed bug in appending special facts introduced in be0e66ccebfa -- if several special facts were added, they overwrote each other | changeset | files |
| Mon, 30 May 2011 17:00:38 +0200 | blanchet | document new explicit apply | changeset | files |
| Mon, 30 May 2011 17:00:38 +0200 | blanchet | made "explicit_apply" smarter -- no need to force explicit applications in minimizer on all constants, better do it more fine granularly | changeset | files |