--- 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
-
--- 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"
--- 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).
--- 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 '{}' +