| Wed, 22 Sep 2010 10:22:50 +0200 | haftmann | sections on @{code} and code_reflect | changeset | files |
| Wed, 22 Sep 2010 10:04:17 +0200 | haftmann | formal syntax diagram for code_reflect | changeset | files |
| Wed, 22 Sep 2010 09:40:11 +0200 | haftmann | distinguish SML and Eval explicitly | changeset | files |
| Tue, 21 Sep 2010 15:46:06 +0200 | haftmann | no_frees_* is subsumed by new framework mechanisms in Code_Preproc | changeset | files |
| Tue, 21 Sep 2010 15:46:06 +0200 | haftmann | reject term variables explicitly | changeset | files |
| Tue, 21 Sep 2010 15:46:05 +0200 | haftmann | avoid frees and vars in terms to be evaluated by abstracting and applying | changeset | files |
| Tue, 21 Sep 2010 15:46:05 +0200 | haftmann | tuned whitespace | changeset | files |