| Sun, 09 Apr 2006 14:20:23 +0200 | nipkow | Removed old set interval syntax. | changeset | files |
| Sat, 08 Apr 2006 22:51:35 +0200 | wenzelm | pretty_term: late externing of consts (support authentic syntax); | changeset | files |
| Sat, 08 Apr 2006 22:51:33 +0200 | wenzelm | pretty: late externing of consts (support authentic syntax); | changeset | files |