| Sat, 08 Apr 2006 22:51:23 +0200 | wenzelm | 'abbreviation': optional print mode; | changeset | files |
| Sat, 08 Apr 2006 22:51:22 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 08 Apr 2006 22:51:20 +0200 | wenzelm | pretty_term': early vs. late externing (support authentic syntax); | changeset | files |
| Sat, 08 Apr 2006 22:51:19 +0200 | wenzelm | print_theory: print abbreviations nicely; | changeset | files |
| Sat, 08 Apr 2006 22:51:17 +0200 | wenzelm | added intern/extern/extern_early; | changeset | files |
| Sat, 08 Apr 2006 22:51:06 +0200 | wenzelm | refined 'abbreviation'; | changeset | files |
| Sat, 08 Apr 2006 22:12:02 +0200 | haftmann | made symlink relative | changeset | files |