keep top-level "Isabelle" executable -- now an alias for "isabelle jedit";
authorwenzelm
Mon Sep 26 23:51:59 2011 +0200 (2011-09-26)
changeset 4509326f94c72f306
parent 45092 43ec38eb89b9
child 45094 a43694a0b726
keep top-level "Isabelle" executable -- now an alias for "isabelle jedit";
Admin/makedist
     1.1 --- a/Admin/makedist	Mon Sep 26 23:43:52 2011 +0200
     1.2 +++ b/Admin/makedist	Mon Sep 26 23:51:59 2011 +0200
     1.3 @@ -178,7 +178,6 @@
     1.4      echo
     1.5    } >ANNOUNCE
     1.6  else
     1.7 -  rm Isabelle Isabelle.exe
     1.8    perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
     1.9  fi
    1.10