Mon, 27 Nov 1995 13:37:13 +0100 | clasohm | renamed make_chart to finish_html | changeset | files |
Fri, 24 Nov 1995 11:46:23 +0100 | clasohm | fixed make_html bug | changeset | files |
Fri, 24 Nov 1995 09:27:19 +0100 | nipkow | Inserted warning about defs with extra vars on rhs. | changeset | files |
Thu, 23 Nov 1995 13:52:53 +0100 | nipkow | Updated comments | changeset | files |
Thu, 23 Nov 1995 12:18:16 +0100 | clasohm | files now define a structure to allow SML/NJ to optimize the code | changeset | files |
Wed, 22 Nov 1995 18:48:56 +0100 | nipkow | Added List_Examples | changeset | files |