changeset 15778 | 98af3693f6b3 |
parent 15776 | e2f45df0696f |
child 15801 | d2f5ca3c048d |
--- a/NEWS Wed Apr 20 00:45:54 2005 +0200 +++ b/NEWS Wed Apr 20 14:18:33 2005 +0200 @@ -344,6 +344,9 @@ * isatool usedir: option -f allows specification of the ML file to be used by Isabelle; default is ROOT.ML. +* symlinks to Isabelle, isabelle, isabelle-interface and isabelle-process + are allowed; isabelle directories are determined based on link target. + * ISABELLE_DOC_FORMAT setting specifies preferred document format (for isatool doc, isatool mkdir, display_drafts etc.).