| Thu, 11 Oct 2007 19:10:17 +0200 |
wenzelm |
moved Drule.unvarify to Thm.unvarify (cf. more_thm.ML);
|
file |
diff |
annotate
|
| Thu, 11 Oct 2007 16:05:56 +0200 |
wenzelm |
replaced Sign.add_consts_authentic by Sign.declare_const;
|
file |
diff |
annotate
|
| Mon, 08 Oct 2007 22:03:31 +0200 |
haftmann |
moved translation kernel to CodeThingol
|
file |
diff |
annotate
|
| Sat, 06 Oct 2007 16:50:04 +0200 |
wenzelm |
simplified interfaces for outer syntax;
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 19:54:44 +0200 |
haftmann |
certificates for code generator case expressions
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 19:41:49 +0200 |
haftmann |
clarified relationship of code generator conversions and evaluations
|
file |
diff |
annotate
|
| Tue, 02 Oct 2007 07:59:55 +0200 |
haftmann |
clarified role of class relations
|
file |
diff |
annotate
|
| Sun, 30 Sep 2007 16:20:31 +0200 |
wenzelm |
Sign.add_consts_authentic: tags (Markup.property list);
|
file |
diff |
annotate
|
| Thu, 20 Sep 2007 16:37:34 +0200 |
haftmann |
more precise treatment of free dictionary parameters for evaluation
|
file |
diff |
annotate
|
| Tue, 18 Sep 2007 07:36:12 +0200 |
haftmann |
clarified evaluation code
|
file |
diff |
annotate
|
| Sat, 15 Sep 2007 19:27:40 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 27 Aug 2007 11:34:18 +0200 |
haftmann |
added code_props
|
file |
diff |
annotate
|
| Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
| Tue, 21 Aug 2007 13:30:38 +0200 |
haftmann |
improved evaluation interface
|
file |
diff |
annotate
|
| Mon, 20 Aug 2007 18:07:49 +0200 |
haftmann |
renamed code_gen to export_code
|
file |
diff |
annotate
|
| Wed, 15 Aug 2007 08:57:42 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 13 Aug 2007 21:22:39 +0200 |
haftmann |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 17:04:34 +0200 |
haftmann |
new structure for code generator modules
|
file |
diff |
annotate
|