NEWS
changeset 56439 95e2656b3b23
parent 56413 2d4d9a5f68ff
child 56450 16d4213d4cbc
     1.1 --- a/NEWS	Sun Apr 06 16:36:28 2014 +0200
     1.2 +++ b/NEWS	Sun Apr 06 16:59:41 2014 +0200
     1.3 @@ -662,6 +662,13 @@
     1.4  repeated invocation in PIDE front-end: re-use single file
     1.5  $ISABELLE_HOME_USER/tmp/drafts.pdf and corresponding views.
     1.6  
     1.7 +* The raw Isabelle process executable has been renamed from
     1.8 +"isabelle-process" to "isabelle_process", which conforms to common
     1.9 +shell naming conventions, and allows to define a shell function within
    1.10 +the Isabelle environment to avoid dynamic path lookup.  Rare
    1.11 +incompatibility for old tools that do not use the $ISABELLE_PROCESS
    1.12 +settings variable yet.
    1.13 +
    1.14  
    1.15  
    1.16  New in Isabelle2013-2 (December 2013)