| Tue, 03 May 2005 14:27:21 +0200 | quigley | Replaced reference to SPASS with general one - set SPASS_HOME in settings file. | changeset | files |
| Tue, 03 May 2005 10:33:31 +0200 | haftmann | final implementation of antiquotations styles | changeset | files |
| Tue, 03 May 2005 10:32:32 +0200 | haftmann | Added short description of thm_style and term_style antiquotation | changeset | files |
| Tue, 03 May 2005 10:25:30 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 03 May 2005 02:45:55 +0200 | dixon | lucas - improved interface to isand.ML and cleaned up clean-unification code, and added some better comments. | changeset | files |
| Tue, 03 May 2005 02:44:10 +0200 | dixon | lucas - added dest_TVar and dest_TFree. | changeset | files |