merged

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/PIDE/README	Wed Jan 18 10:05:23 2012 +0100
@@ -0,0 +1,10 @@
+Prover IDE support
+==================
+
+This is some basic support for PIDE Scala programming, independently
+of the main Isabelle repository.
+
+
+  Makarius
+  17-Jan-2012
+

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/PIDE/convert	Wed Jan 18 10:05:23 2012 +0100
@@ -0,0 +1,31 @@
+#!/bin/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"