| Sun, 13 Jun 2004 15:30:58 +0200 | wenzelm | tuned Present.drafts; | changeset | files |
| Sun, 13 Jun 2004 15:30:08 +0200 | wenzelm | added display_drafts and print_drafts commands; | changeset | files |
| Sun, 13 Jun 2004 15:28:46 +0200 | wenzelm | added PRINT_COMMAND setting | changeset | files |
| Sun, 13 Jun 2004 15:28:30 +0200 | wenzelm | added isatool display and isatool print; | changeset | files |
| Sun, 13 Jun 2004 15:28:19 +0200 | wenzelm | print document | changeset | files |
| Sun, 13 Jun 2004 15:28:12 +0200 | wenzelm | display document (in DVI format) | changeset | files |
| Sat, 12 Jun 2004 22:47:35 +0200 | wenzelm | root for draft documents; | changeset | files |
| Sat, 12 Jun 2004 22:46:51 +0200 | wenzelm | Library.translate_string; | changeset | files |