| Thu, 22 Apr 1999 11:06:35 +0200 | mueller | moved this trivial example to new ex dir; | changeset | files |
| Thu, 22 Apr 1999 11:05:48 +0200 | mueller | changed to include new subdirs ex and Modelcheck; | changeset | files |
| Thu, 22 Apr 1999 11:02:46 +0200 | mueller | put types into "" because of signature clash; | changeset | files |
| Thu, 22 Apr 1999 11:00:30 +0200 | mueller | added frontend syntax for IOA, moved trivial examples to folder ex; | changeset | files |
| Thu, 22 Apr 1999 10:56:37 +0200 | mueller | added modelchecker mucke besides modelchecker eindhoven; | changeset | files |
| Thu, 22 Apr 1999 10:55:23 +0200 | mueller | delete old files for adding second modelchecker connection; | changeset | files |
| Wed, 21 Apr 1999 19:03:11 +0200 | wenzelm | $ML_HOME/.arch-n-opsys 2>/dev/null; | changeset | files |
| Wed, 21 Apr 1999 18:50:35 +0200 | wenzelm | smlnj-110 setup made default; | changeset | files |