| Tue, 26 Oct 2010 11:20:14 +0200 |
haftmann |
Code_Runtime.trace
|
file |
diff |
annotate
|
| Fri, 01 Oct 2010 22:44:36 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Fri, 01 Oct 2010 17:06:49 +0200 |
haftmann |
avoid antiquotation processing for code_reflect; moved ML_Context.value to Code_Runtime
|
file |
diff |
annotate
|
| Fri, 01 Oct 2010 17:23:26 +0200 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
| Fri, 01 Oct 2010 11:46:09 +0200 |
haftmann |
added polyml_as_definition -- using external SML files as substitute for proper definitions -- only for polyml!
|
file |
diff |
annotate
|
| Tue, 21 Sep 2010 15:46:06 +0200 |
haftmann |
reject term variables explicitly
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 08:53:37 +0200 |
haftmann |
made smlnj happy
|
file |
diff |
annotate
|
| Fri, 17 Sep 2010 10:00:01 +0200 |
haftmann |
closures preserve static serializer context for static evaluation; tuned
|
file |
diff |
annotate
|
| Fri, 17 Sep 2010 08:41:07 +0200 |
haftmann |
made sml/nj happy
|
file |
diff |
annotate
|
| Thu, 16 Sep 2010 16:51:34 +0200 |
haftmann |
dynamic and static value computation; built-in evaluation of propositions
|
file |
diff |
annotate
|
| Wed, 15 Sep 2010 16:56:31 +0200 |
haftmann |
proper interface for code_reflect
|
file |
diff |
annotate
|
| Wed, 15 Sep 2010 15:40:36 +0200 |
haftmann |
Code_Runtime.value, corresponding to ML_Context.value; tuned
|
file |
diff |
annotate
|
| Wed, 15 Sep 2010 15:31:32 +0200 |
haftmann |
code_eval renamed to code_runtime
|
file |
diff |
annotate
| base
|