src/Tools/Code/code_haskell.ML
Tue, 07 Sep 2010 16:49:32 +0200 haftmann only write ghc pragma when writing to a file
Tue, 07 Sep 2010 16:37:23 +0200 haftmann dropped ancient deresolve_base; plain_const_syntax also needs modification of instance statement
Tue, 07 Sep 2010 16:26:14 +0200 haftmann moved flat_program to code_namespace
Tue, 07 Sep 2010 16:05:18 +0200 haftmann Haskell uses generic flat_program combinator
Tue, 07 Sep 2010 11:08:57 +0200 haftmann added generic flat_program procedure
Sat, 04 Sep 2010 21:10:48 +0200 haftmann dropped names from serializer interface
Thu, 02 Sep 2010 19:08:48 +0200 haftmann hand out deresolver from serializer invocation
Thu, 02 Sep 2010 14:59:28 +0200 haftmann dropped superfluous presentation names
less more (0) -30 -10 -8 tip