--- a/Admin/PIDE/README Mon Oct 24 18:25:30 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 18:25:30 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"