| Thu, 15 Nov 2001 23:25:46 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Thu, 22 Apr 1999 11:00:30 +0200 | mueller | added frontend syntax for IOA, moved trivial examples to folder ex; | file | diff | annotate |
| Thu, 08 Jan 1998 18:07:06 +0100 | oheimb | added newline at end of file | file | diff | annotate |
| Wed, 21 May 1997 15:08:52 +0200 | mueller | changes for release 94-8 | file | diff | annotate |
| Wed, 30 Apr 1997 11:20:15 +0200 | mueller | New meta theory for IOA based on HOLCF. | file | diff | annotate |