Mon, 15 Jan 1996 14:47:56 +0100 | clasohm | fixed bug in file_info | changeset | files |
Thu, 11 Jan 1996 10:29:31 +0100 | nipkow | Removed bug in type unification. Negative indexes are not used any longer. | changeset | files |
Tue, 09 Jan 1996 13:45:58 +0100 | clasohm | simplified file_info by using System.filedate | changeset | files |