Thu, 18 Jan 1996 10:28:20 +0100 New version number
paulson [Thu, 18 Jan 1996 10:28:20 +0100] rev 1443
New version number
Mon, 15 Jan 1996 15:50:54 +0100 *** empty log message ***
wenzelm [Mon, 15 Jan 1996 15:50:54 +0100] rev 1442
*** empty log message ***
Mon, 15 Jan 1996 15:50:41 +0100 added Lattice demo;
wenzelm [Mon, 15 Jan 1996 15:50:41 +0100] rev 1441
added Lattice demo;
Mon, 15 Jan 1996 15:49:21 +0100 added this stuff;
wenzelm [Mon, 15 Jan 1996 15:49:21 +0100] rev 1440
added this stuff;
Mon, 15 Jan 1996 15:47:10 +0100 improved printing of errors in 'defs';
wenzelm [Mon, 15 Jan 1996 15:47:10 +0100] rev 1439
improved printing of errors in 'defs'; fixed small bug in 'standard' (it used to fail stripping shyps in some cases);
Mon, 15 Jan 1996 15:00:14 +0100 added comments
clasohm [Mon, 15 Jan 1996 15:00:14 +0100] rev 1438
added comments
Mon, 15 Jan 1996 14:56:38 +0100 beautified file_info a bit
clasohm [Mon, 15 Jan 1996 14:56:38 +0100] rev 1437
beautified file_info a bit
Mon, 15 Jan 1996 14:47:56 +0100 fixed bug in file_info
clasohm [Mon, 15 Jan 1996 14:47:56 +0100] rev 1436
fixed bug in file_info
Thu, 11 Jan 1996 10:29:31 +0100 Removed bug in type unification. Negative indexes are not used any longer.
nipkow [Thu, 11 Jan 1996 10:29:31 +0100] rev 1435
Removed bug in type unification. Negative indexes are not used any longer. Had to change interface to Type.unify to pass maxidx. Thus changes in the clients.
Tue, 09 Jan 1996 13:45:58 +0100 simplified file_info by using System.filedate
clasohm [Tue, 09 Jan 1996 13:45:58 +0100] rev 1434
simplified file_info by using System.filedate
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip