Thu, 02 Nov 1995 14:16:52 +0100 | clasohm | removed green arrow from HTML charts (replaced by "...") | changeset | files |
Thu, 02 Nov 1995 14:16:00 +0100 | clasohm | removed borders from images in charts; | changeset | files |
Thu, 02 Nov 1995 12:45:58 +0100 | clasohm | extended complex_typ | changeset | files |
Fri, 27 Oct 1995 12:21:02 +0100 | clasohm | added optional parameters | changeset | files |
Thu, 26 Oct 1995 14:02:33 +0100 | clasohm | script for removal of HTML files | changeset | files |
Thu, 26 Oct 1995 13:53:04 +0100 | clasohm | renamed chart00 and 00-chart to "index" | changeset | files |