| Thu, 18 Jan 1996 10:28:20 +0100 | paulson | New version number | changeset | files |
| Mon, 15 Jan 1996 15:50:54 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Mon, 15 Jan 1996 15:50:41 +0100 | wenzelm | added Lattice demo; | changeset | files |
| Mon, 15 Jan 1996 15:49:21 +0100 | wenzelm | added this stuff; | changeset | files |
| Mon, 15 Jan 1996 15:47:10 +0100 | wenzelm | improved printing of errors in 'defs'; | changeset | files |
| Mon, 15 Jan 1996 15:00:14 +0100 | clasohm | added comments | changeset | files |
| Mon, 15 Jan 1996 14:56:38 +0100 | clasohm | beautified file_info a bit | changeset | files |