Thu, 22 May 1997 18:29:17 +0200 | nipkow | exhaust_tac can now deal with whole terms rather than just variables. | changeset | files |
Thu, 22 May 1997 17:20:55 +0200 | wenzelm | added href to Isamode; | changeset | files |
Thu, 22 May 1997 16:44:47 +0200 | wenzelm | fixed doc; | changeset | files |
Thu, 22 May 1997 16:37:00 +0200 | wenzelm | adapted to Isamode 2.6; | changeset | files |
Thu, 22 May 1997 16:04:48 +0200 | wenzelm | tuned Isamode stuff; | changeset | files |
Thu, 22 May 1997 15:13:16 +0200 | paulson | New headers and other minor changes | changeset | files |