# HG changeset patch
# User wenzelm
# Date 1326841628 -3600
# Node ID 01496117a5cca402a4d1b4f24d020d0b7860cce5
# Parent  549755ebf4d26393c732ae1d316f0b3f625992bc
basic support for PIDE Scala programming, independently of the main Isabelle repository;

diff -r 549755ebf4d2 -r 01496117a5cc Admin/PIDE/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/PIDE/README	Wed Jan 18 00:07:08 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 549755ebf4d2 -r 01496117a5cc Admin/PIDE/convert
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/PIDE/convert	Wed Jan 18 00:07:08 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"