# HG changeset patch
# User wenzelm
# Date 1215021158 -7200
# Node ID a487aa8925405c495fa7b6f8c6c171c8edb9d324
# Parent  22b6281d671927b029fe6a902302db519f33ab2b
convert Isabelle CVS to Mercurial;

diff -r 22b6281d6719 -r a487aa892540 Admin/Mercurial/convert
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Mercurial/convert	Wed Jul 02 19:52:38 2008 +0200
@@ -0,0 +1,26 @@
+#!/bin/bash
+# $Id$
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+SUPER="$(cd "$THIS/.."; pwd)"
+
+cd "$THIS/cvs"
+cvs up -dAP || exit 2
+
+
+case $(hostname) in
+
+atbroy51)
+MERCURIAL=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg
+export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/lib/python2.4/site-packages
+;;
+
+atbroy100)
+MERCURIAL=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg
+export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/lib64/python2.4/site-packages
+;;
+
+esac
+
+cd "$THIS"
+"$MERCURIAL" convert --filemap cvs/Admin/Mercurial/filemap cvs hg