| Wed, 04 May 2005 08:37:45 +0200 | nipkow | neqE applies even if the type is not one which partakes in linear arithmetic. | changeset | files |
| Wed, 04 May 2005 08:36:10 +0200 | nipkow | Fixing a problem with lin.arith. | changeset | files |
| Tue, 03 May 2005 15:37:41 +0200 | haftmann | make mkdir usable with cygwin | changeset | files |
| 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 |