basic support for PIDE Scala programming, independently of the main Isabelle repository;
--- /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
+
--- /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"