| Thu, 04 Oct 2007 19:41:52 +0200 | haftmann | put declarations first | changeset | files |
| Thu, 04 Oct 2007 19:41:51 +0200 | haftmann | clarified terminology | changeset | files |
| Thu, 04 Oct 2007 19:41:50 +0200 | haftmann | intermediate cleanup | changeset | files |
| Thu, 04 Oct 2007 19:41:49 +0200 | haftmann | clarified relationship of code generator conversions and evaluations | changeset | files |
| Thu, 04 Oct 2007 16:59:30 +0200 | wenzelm | abs_conv/forall_conv: proper context (avoid gensym); | changeset | files |
| Thu, 04 Oct 2007 16:59:29 +0200 | wenzelm | load variable.ML before conv.ML; | changeset | files |
| Thu, 04 Oct 2007 16:59:28 +0200 | wenzelm | Conv.forall_conv: proper context; | changeset | files |
| Thu, 04 Oct 2007 16:21:31 +0200 | wenzelm | cover AFP logs as well, using "afp" pseudo-platform; | changeset | files |