| Sun, 28 Aug 2005 09:26:22 +0200 | haftmann | added alist.ML | changeset | files |
| Sun, 28 Aug 2005 09:18:22 +0200 | haftmann | added 'these', removed assoc2 | changeset | files |
| Sun, 28 Aug 2005 09:02:42 +0200 | haftmann | added alist module | changeset | files |
| Fri, 26 Aug 2005 19:47:23 +0200 | berghofe | Fixed bug. | changeset | files |
| Fri, 26 Aug 2005 19:36:07 +0200 | quigley | DFG output now works for untyped rules (ML "ResClause.untyped();") | changeset | files |
| Fri, 26 Aug 2005 10:01:06 +0200 | ballarin | Lemmas on dvd, power and finite summation added or strengthened. | changeset | files |
| Fri, 26 Aug 2005 08:42:52 +0200 | haftmann | replaced '?' by '??' | changeset | files |
| Thu, 25 Aug 2005 17:51:11 +0200 | berghofe | Adapted to new code generator syntax. | changeset | files |
| Thu, 25 Aug 2005 16:17:40 +0200 | berghofe | Put quotation marks around some occurrences of "file", since it is now | changeset | files |
| 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 |
| Tue, 23 Aug 2005 09:18:44 +0200 | haftmann | replaced ? by ?? | changeset | files |
| Fri, 19 Aug 2005 23:20:50 +0200 | wenzelm | fixed deps; | changeset | files |
| Fri, 19 Aug 2005 22:50:20 +0200 | wenzelm | tuned arrangement of generated stuff; | changeset | files |
| Fri, 19 Aug 2005 22:44:36 +0200 | wenzelm | updated; | changeset | files |
| Fri, 19 Aug 2005 22:44:01 +0200 | wenzelm | tuned generated stuff; | changeset | files |
| Fri, 19 Aug 2005 22:28:23 +0200 | wenzelm | updated; | changeset | files |
| Fri, 19 Aug 2005 22:28:23 +0200 | wenzelm | updated; | changeset | files |
| Fri, 19 Aug 2005 22:25:21 +0200 | wenzelm | obsolete; | changeset | files |
| Fri, 19 Aug 2005 22:25:14 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 19 Aug 2005 22:19:59 +0200 | wenzelm | updated; | changeset | files |
| Fri, 19 Aug 2005 18:38:59 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 19 Aug 2005 11:03:06 +0200 | wenzelm | updated; | changeset | files |
| Fri, 19 Aug 2005 10:50:05 +0200 | wenzelm | updated; | changeset | files |