| Sat, 08 Jan 2011 17:14:48 +0100 |
wenzelm |
misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
|
file |
diff |
annotate
|
| Tue, 21 Dec 2010 21:05:50 +0100 |
wenzelm |
more robust ML antiquotations -- allow original tokens without adjacent whitespace;
|
file |
diff |
annotate
|
| Tue, 21 Dec 2010 09:29:33 +0100 |
haftmann |
evaluator separating static and dynamic operations
|
file |
diff |
annotate
|
| Tue, 21 Dec 2010 09:19:37 +0100 |
haftmann |
tuned naming
|
file |
diff |
annotate
|
| Tue, 21 Dec 2010 09:18:29 +0100 |
haftmann |
evaluator separating static and dynamic operations
|
file |
diff |
annotate
|
| Tue, 21 Dec 2010 08:40:39 +0100 |
haftmann |
program is separate argument to serializer
|
file |
diff |
annotate
|
| Fri, 17 Dec 2010 18:24:44 +0100 |
haftmann |
avoid slightly odd Conv.tap_thy
|
file |
diff |
annotate
|
| Wed, 15 Dec 2010 09:47:12 +0100 |
haftmann |
simplified evaluation function names
|
file |
diff |
annotate
|
| Thu, 09 Dec 2010 17:25:43 +0100 |
haftmann |
tuned names
|
file |
diff |
annotate
|
| Thu, 09 Dec 2010 09:58:33 +0100 |
haftmann |
tracing of term to be evaluated
|
file |
diff |
annotate
|
| Fri, 26 Nov 2010 22:33:21 +0100 |
haftmann |
keep type variable arguments of datatype constructors in bookkeeping
|
file |
diff |
annotate
|
| Fri, 26 Nov 2010 12:03:18 +0100 |
haftmann |
globbing constant expressions use more idiomatic underscore rather than star
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 10:56:48 +0100 |
haftmann |
corrected slip: must keep constant map, not type map; tuned code
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 10:43:24 +0100 |
haftmann |
constructors to datatypes in code_reflect can be globbed; dropped unused code
|
file |
diff |
annotate
|
| Wed, 03 Nov 2010 10:44:53 +0100 |
haftmann |
polyml_as_definition does not require explicit dependencies on external ML files
|
file |
diff |
annotate
|