Fri, 16 Mar 2012 18:20:12 +0100 | wenzelm | outer syntax command definitions based on formal command_spec derived from theory header declarations; | file | diff | annotate |
Tue, 20 Sep 2011 09:30:19 +0200 | bulwahn | syntactic improvements and tuning names in the code generator due to Florian's code review | file | diff | annotate |
Fri, 16 Sep 2011 20:02:35 +0200 | noschinl | tune indenting | file | diff | annotate |
Wed, 14 Sep 2011 10:24:22 +0200 | noschinl | create central list for language extensions used by the haskell code generator | file | diff | annotate |
Thu, 08 Sep 2011 12:23:11 +0200 | noschinl | call ghc with -XEmptyDataDecls | file | diff | annotate |
Wed, 07 Sep 2011 13:51:36 +0200 | bulwahn | removing previous crude approximation to add type annotations to disambiguate types | file | diff | annotate |
Wed, 07 Sep 2011 13:51:35 +0200 | bulwahn | adding minimalistic implementation for printing the type annotations | file | diff | annotate |