| Sat, 20 Oct 2001 20:18:45 +0200 | wenzelm | calculational rules moved from FOL to IFOL; | changeset | files |
| Sat, 20 Oct 2001 20:18:19 +0200 | wenzelm | option -g for document graph; | changeset | files |
| Sat, 20 Oct 2001 20:16:55 +0200 | wenzelm | option -q also excludes -v true in generated stuff; | changeset | files |
| Sat, 20 Oct 2001 20:15:44 +0200 | wenzelm | dvips -q; | changeset | files |
| Sat, 20 Oct 2001 20:15:27 +0200 | wenzelm | removed -v option (handled by isabelle process); | changeset | files |
| Sat, 20 Oct 2001 20:14:56 +0200 | wenzelm | -o pdf: produce *both* eps and pdf; | changeset | files |