| Wed, 29 Jun 2005 15:13:37 +0200 | wenzelm | added print': print depending on print_mode; | changeset | files |
| Wed, 29 Jun 2005 15:13:36 +0200 | wenzelm | no Syntax.internal on thesis; | changeset | files |
| Wed, 29 Jun 2005 15:13:35 +0200 | wenzelm | added print_mode three_buffersN and corresponding cond_print; | changeset | files |