| Sat, 14 Apr 2007 00:46:18 +0200 | wenzelm | data declaration: removed obsolete target_morphism (still required for local data!?); | changeset | files |
| 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 |