| Sun, 09 Apr 2006 18:51:22 +0200 | wenzelm | added full_name; | changeset | files |
| Sun, 09 Apr 2006 18:51:21 +0200 | wenzelm | add_syntax: actually observe print mode; | changeset | files |
| Sun, 09 Apr 2006 18:51:20 +0200 | wenzelm | print_term etc.: actually observe print mode in final output; | changeset | files |