| Thu, 25 Aug 2005 16:13:09 +0200 | berghofe | Adapted to new code generator syntax. | changeset | files |
| Thu, 25 Aug 2005 16:10:16 +0200 | berghofe | Implemented incremental code generation. | changeset | files |
| Thu, 25 Aug 2005 09:29:05 +0200 | haftmann | fixed typo | changeset | files |
| Thu, 25 Aug 2005 09:25:03 +0200 | haftmann | add_locale_context(_i) now exporting elements (still some refinements to be done) | changeset | files |
| Thu, 25 Aug 2005 09:23:40 +0200 | haftmann | added ? combinator for conditional transformations | changeset | files |
| Thu, 25 Aug 2005 09:23:13 +0200 | haftmann | added 'default' function | changeset | files |
| Wed, 24 Aug 2005 12:07:00 +0200 | ballarin | Printing of interpretations: option to show witness theorems; | changeset | files |
| Wed, 24 Aug 2005 12:05:48 +0200 | ballarin | Interpretation in locales: extended back end; | changeset | files |