| Tue, 18 Apr 2000 00:49:49 +0200 | wenzelm | renamed 'hide' to 'hide_action'; | file | diff | annotate |
| Mon, 19 Jul 1999 16:47:24 +0200 | wenzelm | renamed 'with' to 'using'; | 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 |