--- a/Admin/Mercurial/convert Wed May 12 14:02:19 2010 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-#!/bin/bash
-# $Id$
-
-THIS="$(cd "$(dirname "$0")"; pwd)"
-SUPER="$(cd "$THIS/.."; pwd)"
-
-LOG="$THIS/log"
-date >> "$LOG"
-
-
-## cvs update
-
-cd "$THIS/cvs"
-cvs up -dAP >> "$LOG" 2>&1 || exit 2
-
-
-## hg convert
-
-export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc"
-
-cd "$THIS"
-/home/isabelle/mercurial/bin/hg convert --filemap cvs/Admin/Mercurial/filemap cvs isabelle-cvs >> "$LOG" 2>&1 || exit 2
-
-[ -e isabelle-cvs/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc isabelle-cvs/.hg/hgrc
-
-
-## logrotate
-
-/usr/sbin/logrotate -s "$THIS/log.state" "$THIS/cvs/Admin/Mercurial/logrotate.conf"
--- a/Admin/Mercurial/filemap Wed May 12 14:02:19 2010 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-rename Doc doc-src
-exclude Distribution/bin/Isabelle
-exclude Admin/page/main-content/PG-preview.mov
-exclude Admin/website/media/pg_preview.mov
-rename Distribution .
-rename CCL src/CCL
-rename CTT src/CTT
-rename Cube src/Cube
-rename FOL src/FOL
-rename FOLP src/FOLP
-rename HOL src/HOL
-rename HOLCF src/HOLCF
-rename LCF src/LCF
-rename LK src/LK
-rename Modal src/Modal
-rename Provers src/Provers
-rename Pure src/Pure
-rename Sequents src/Sequents
-rename Tools src/Tools
-rename ZF src/ZF
--- a/Admin/Mercurial/hgrc Wed May 12 14:02:19 2010 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-[extensions]
-hgext.convert =
-
-[convert]
-cvsps = /home/isabelle-repository/repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
-
-[web]
-style = isabelle
-description = Snapshot of the old Isabelle CVS
-allow_archive = gz
-maxfiles = 50
--- a/Admin/Mercurial/logrotate.conf Wed May 12 14:02:19 2010 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-# $Id$
-
-/home/isabelle-repository/repos/log {
- compress
- nomail
- daily
- rotate 5
-}
--- a/Admin/spass/README Wed May 12 14:02:19 2010 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,33 +0,0 @@
-
-This distribution of SPASS 3.0 has been compiled according to the
-INSTALL instructions of the official source download from
-http://www.spass-prover.org
-
-The following example is for x86-linux:
-
- $ tar xvzf spass30.tgz
- $ cd SPASS-3.0
- $ ./configure --prefix="$HOME/tmp/spass" --exec-prefix="$HOME/tmp/spass/x86-linux"
- $ make
- $ make install
-
-
-The x86-darwin platform works the same; use "make distclean" before
-reconfiguration.
-
-Native x86_64 is avoided here, due to numerous compiler warnings about
-int/pointer casts of different size. The x86 binaries are used
-instead.
-
-For x86-cygwin we have removed the "__inline__" configuration to
-workaround a problem with "___sgetc_r":
-
-diff configure-orig configure
-3522c3522
-< CFLAGS="-O3 -D__inline__="
----
-> CFLAGS="-O3"
-
-
- Makarius
- 30-Oct-2009