| Wed, 21 Feb 2007 02:30:06 +0100 | kleing | prevent quadratic time removal of duplicates if filter list is empty (likely to have too many results) | changeset | files |
| Tue, 20 Feb 2007 00:53:18 +0100 | kleing | added missing \ | changeset | files |
| Tue, 20 Feb 2007 00:23:58 +0100 | kleing | updated docs with new with_dups syntax for find_theorems | changeset | files |
| Tue, 20 Feb 2007 00:14:33 +0100 | kleing | Remove duplicates from printed theorems in find_theorems | changeset | files |
| Mon, 19 Feb 2007 16:44:08 +0100 | schirmer | more precise error message in parameter unification | changeset | files |
| Sat, 17 Feb 2007 18:01:22 +0100 | aspinall | Updated | changeset | files |
| Sat, 17 Feb 2007 18:00:59 +0100 | aspinall | Fix <pgipquit>. Remove unused pgmlatomsN. Make showid match askids. Use string functions for showid, avoiding printwrap kludge. | changeset | files |