| Sat, 14 Apr 2007 00:46:17 +0200 | wenzelm | data declaration: removed obsolete target_morphism; | changeset | files |
| Fri, 13 Apr 2007 21:38:29 +0200 | wenzelm | added eval_antiquotes_fn (tmp); | changeset | files |
| Fri, 13 Apr 2007 21:26:35 +0200 | wenzelm | tuned document (headers, sections, spacing); | changeset | files |
| Fri, 13 Apr 2007 21:26:34 +0200 | wenzelm | do translation: CONST; | changeset | files |
| Fri, 13 Apr 2007 20:23:18 +0200 | wenzelm | eval_antiquotes: proper parentheses for projection; | changeset | files |
| Fri, 13 Apr 2007 16:40:16 +0200 | haftmann | canonical merge operations | changeset | files |