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