# HG changeset patch
# User wenzelm
# Date 1477336478 -7200
# Node ID 14571c9e1d5077993f4558a44b2c087c2e3e3b13
# Parent  f8c1c12d6af52ee1aa4b266f9ed1402cda09cfef# Parent  2a4672722aaa1e3aa3638df09d28e0873297262b
merged

diff -r f8c1c12d6af5 -r 14571c9e1d50 Admin/PIDE/README
--- a/Admin/PIDE/README	Mon Oct 24 20:58:07 2016 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-Prover IDE support
-==================
-
-This is some basic support for PIDE Scala programming, independently
-of the main Isabelle repository.
-
-
-  Makarius
-  17-Jan-2012
-
diff -r f8c1c12d6af5 -r 14571c9e1d50 Admin/PIDE/convert
--- a/Admin/PIDE/convert	Mon Oct 24 20:58:07 2016 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-#!/usr/bin/env bash
-
-THIS="$(cd "$(dirname "$0")"; pwd)"
-SUPER="$(cd "$THIS/.."; pwd)"
-
-ISABELLE_REPOS="$(cd "$THIS/../.."; pwd)"
-
-
-## main
-
-FILEMAP="/tmp/filemap$$"
-
-echo "include COPYRIGHT" > "$FILEMAP"
-(
-  cd "$ISABELLE_REPOS"
-  for FILE in $(find src/Pure -name "*.scala")
-  do
-    if grep "Module:.*PIDE" "$FILE" >/dev/null; then
-      if [ "$("${HG:-hg}" status -u -n --color=never "$FILE")" = "" ]; then
-        echo "include $FILE" >> "$FILEMAP"
-        echo "rename $FILE src/$(basename "$FILE")" >> "$FILEMAP"
-      fi
-    fi
-  done
-)
-
-cat "$FILEMAP"
-
-"${HG:-hg}" convert --filemap "$FILEMAP" "$ISABELLE_REPOS" PIDE-repos
-
-rm -f "$FILEMAP"
diff -r f8c1c12d6af5 -r 14571c9e1d50 Admin/PLATFORMS
--- a/Admin/PLATFORMS	Mon Oct 24 20:58:07 2016 +0200
+++ b/Admin/PLATFORMS	Mon Oct 24 21:14:38 2016 +0200
@@ -41,7 +41,7 @@
 
   x86-windows       Windows 7
   x86_64-windows    Windows 7
-  x86-cygwin        http://isabelle.in.tum.de/cygwin_2016-1 (x86/release)
+  x86-cygwin        Cygwin 2.6 http://isabelle.in.tum.de/cygwin_2016-1 (x86/release)
 
 All of the above platforms are 100% supported by Isabelle -- end-users
 should not have to care about the differences (at least in theory).
diff -r f8c1c12d6af5 -r 14571c9e1d50 Admin/Windows/Cygwin/isabelle/postinstall
--- a/Admin/Windows/Cygwin/isabelle/postinstall	Mon Oct 24 20:58:07 2016 +0200
+++ b/Admin/Windows/Cygwin/isabelle/postinstall	Mon Oct 24 21:14:38 2016 +0200
@@ -7,6 +7,7 @@
 mkpasswd -l >/etc/passwd
 mkgroup -l >/etc/group
 
+find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +
 find -type d -exec chmod 755 '{}' +
 find -type f \( -name '*.exe' -o -name '*.dll' \) -exec chmod 755 '{}' +
 find -type f -not -name '*.exe' -not -name '*.dll' -not -name '*.scala' -not -name '*.ML' -not -name '*.thy' -exec chmod 644 '{}' +