# HG changeset patch
# User wenzelm
# Date 1477332781 -7200
# Node ID d072d327b9b2a095070aecc3b8a023128aa65ab3
# Parent  4b22e1268779d4ebbd25d9ecf84da75567f46084
unused;

diff -r 4b22e1268779 -r d072d327b9b2 Admin/PIDE/README
--- 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
-
diff -r 4b22e1268779 -r d072d327b9b2 Admin/PIDE/convert
--- 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"