| 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 |
| Sat, 17 Feb 2007 17:22:53 +0100 | aspinall | <idvalue>: add name attribute to allow unsolicited updates. | changeset | files |
| Sat, 17 Feb 2007 17:19:59 +0100 | aspinall | pretty_full_theory: expose in signature. | changeset | files |
| Sat, 17 Feb 2007 17:18:47 +0100 | aspinall | Clarify comment | changeset | files |