| Thu, 13 Apr 2017 10:10:12 +0200 | haftmann | for generated Haskell code, never use let-binds with pattern matching: irrefutable patterns destroy partial correctness | file | diff | annotate |
| Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | file | diff | annotate |
| Fri, 09 Jan 2015 08:36:59 +0100 | haftmann | modernized and more uniform style | file | diff | annotate |
| Fri, 05 Dec 2014 19:35:36 +0100 | haftmann | allow multiple inheritance of targets | file | diff | annotate |
| Thu, 25 Sep 2014 18:47:32 +0200 | haftmann | more correct precedence of do-notation | file | diff | annotate |
| Thu, 18 Sep 2014 18:48:54 +0200 | haftmann | always annotate potentially polymorphic Haskell numerals | file | diff | annotate |
| Thu, 18 Sep 2014 18:48:04 +0200 | haftmann | tuned data structure | file | diff | annotate |