# HG changeset patch
# User nipkow
# Date 1326877523 -3600
# Node ID e5fe797e9d09e49812b6f646be438c39141ef804
# Parent  01496117a5cca402a4d1b4f24d020d0b7860cce5# Parent  e69684c1c1426faff1c458ccfafe0937149ee13d
merged

diff -r e69684c1c142 -r e5fe797e9d09 Admin/PIDE/README
--- /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
+
diff -r e69684c1c142 -r e5fe797e9d09 Admin/PIDE/convert
--- /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"