| 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
|
| Sat, 12 Jun 2004 22:46:39 +0200 |
wenzelm |
added trace (inefficient for very long input);
|
changeset |
files
|
| Sat, 12 Jun 2004 22:46:21 +0200 |
wenzelm |
added translate_string;
|
changeset |
files
|
| Sat, 12 Jun 2004 22:45:59 +0200 |
wenzelm |
added read (provides transition names and sources);
|
changeset |
files
|
| Sat, 12 Jun 2004 22:45:46 +0200 |
wenzelm |
added output_known_symbols; tuned;
|
changeset |
files
|
| Sat, 12 Jun 2004 22:45:35 +0200 |
wenzelm |
added name_of, source_of, source;
|
changeset |
files
|