| Fri, 12 Jul 2013 16:19:05 +0200 | wenzelm | localized and modernized adhoc-overloading (patch by Christian Sternagel); | file | diff | annotate |
| Fri, 06 Jan 2012 20:39:50 +0100 | haftmann | farewell to theory More_List | file | diff | annotate |
| Mon, 26 Dec 2011 22:17:10 +0100 | haftmann | incorporated More_Set and More_List into the Main body -- to be consolidated later | file | diff | annotate |
| Sat, 24 Dec 2011 15:53:08 +0100 | haftmann | added monad instance for `set` | file | diff | annotate |
| Fri, 14 Oct 2011 22:42:56 +0200 | haftmann | monadic bind | file | diff | annotate |
| Fri, 17 Dec 2010 17:43:54 +0100 | wenzelm | replaced command 'nonterminals' by slightly modernized version 'nonterminal'; | file | diff | annotate |
| Sun, 05 Sep 2010 21:39:30 +0200 | krauss | enabled do notation for option type | file | diff | annotate |