| Thu, 25 Nov 1993 14:43:42 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 25 Nov 1993 14:42:46 +0100 | wenzelm | corrected some obvious errors; | changeset | files |
| Thu, 25 Nov 1993 14:32:54 +0100 | clasohm | changed beginning of "Reading a new theory", added index "automatic loading" | changeset | files |
| Thu, 25 Nov 1993 14:23:04 +0100 | wenzelm | corrected trivial typo; | changeset | files |