| Fri, 27 Aug 2010 19:43:28 +0200 | wenzelm | more careful treatment of context visibility flag wrt. spurious warnings; | changeset | files |
| Fri, 27 Aug 2010 18:00:45 +0200 | wenzelm | merged | changeset | files |
| Fri, 27 Aug 2010 16:05:46 +0200 | blanchet | merged | changeset | files |
| Fri, 27 Aug 2010 16:04:15 +0200 | blanchet | turn off experimental feature per default + avoid exception on "theory constant" | changeset | files |
| Fri, 27 Aug 2010 15:39:17 +0200 | blanchet | extended relevance filter with first-order term matching | changeset | files |
| Fri, 27 Aug 2010 15:37:03 +0200 | blanchet | drop chained facts | changeset | files |
| Fri, 27 Aug 2010 13:27:02 +0200 | blanchet | rename and simplify | changeset | files |