| Wed, 12 Dec 2001 18:05:44 +0100 | wenzelm | drop_judgment: be graceful about undeclared judgment; | changeset | files |
| Wed, 12 Dec 2001 18:03:10 +0100 | wenzelm | obsolete; | changeset | files |
| Wed, 12 Dec 2001 17:43:45 +0100 | wenzelm | option "-d pdf" by default (accomodates pdf bias of Mac OS X); | changeset | files |