| Sat, 17 Apr 2004 13:56:59 +0200 | kleing | do not mention poly 3.x any more (it is untested) | changeset | files |
| Sat, 17 Apr 2004 13:56:08 +0200 | kleing | do not mention MLWorks and poly 3.x any more, they are untested | changeset | files |
| Sat, 17 Apr 2004 00:50:45 +0200 | kleing | add HOL-Matrix | changeset | files |
| Sat, 17 Apr 2004 00:46:22 +0200 | kleing | added HOL-Matrix, added HOL/Matrix/ROOT.ML | changeset | files |
| Fri, 16 Apr 2004 21:03:40 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 16 Apr 2004 21:00:53 +0200 | wenzelm | more elaborate header markup; | changeset | files |
| Fri, 16 Apr 2004 21:00:36 +0200 | wenzelm | tuned document; | changeset | files |