| Tue, 07 Sep 2010 16:49:32 +0200 |
haftmann |
only write ghc pragma when writing to a file
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 16:37:23 +0200 |
haftmann |
dropped ancient deresolve_base; plain_const_syntax also needs modification of instance statement
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 16:26:14 +0200 |
haftmann |
moved flat_program to code_namespace
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 16:05:18 +0200 |
haftmann |
Haskell uses generic flat_program combinator
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 11:08:57 +0200 |
haftmann |
added generic flat_program procedure
|
file |
diff |
annotate
|
| Sat, 04 Sep 2010 21:10:48 +0200 |
haftmann |
dropped names from serializer interface
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 19:08:48 +0200 |
haftmann |
hand out deresolver from serializer invocation
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 14:59:28 +0200 |
haftmann |
dropped superfluous presentation names
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 14:36:49 +0200 |
haftmann |
manage statement selection for presentation wholly through markup
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 13:58:16 +0200 |
haftmann |
formal markup of generated code for statements
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 13:43:38 +0200 |
haftmann |
removed namespace stuff from code_printer
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 12:30:22 +0200 |
haftmann |
formal framework for presentation of selected statements
|
file |
diff |
annotate
|
| Wed, 01 Sep 2010 08:52:49 +0200 |
haftmann |
tuned internally and made smlnj happy
|
file |
diff |
annotate
|
| Tue, 31 Aug 2010 15:08:04 +0200 |
haftmann |
dropped single_module parameter
|
file |
diff |
annotate
|
| Tue, 31 Aug 2010 14:21:06 +0200 |
haftmann |
record argument for serializers
|
file |
diff |
annotate
|