# HG changeset patch
# User haftmann
# Date 1118128287 -7200
# Node ID 39c793a9b382b04b521c5d04a38e34cf58bab8c5
# Parent  636a1a84977ac8f285c21438717c1e2f03bae872
added isatest-lint prototype

diff -r 636a1a84977a -r 39c793a9b382 Admin/isatest-lint
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/isatest-lint	Tue Jun 07 09:11:27 2005 +0200
@@ -0,0 +1,41 @@
+#!/usr/bin/env perl
+#
+# $Id$
+# Author: Florian Haftmann, TUM
+#
+# Do consistency and quality checks on the isabelle sources
+#
+
+use strict;
+use File::Find;
+use File::Basename;
+
+# configuration
+my $isabelleRoot = $ENV{'HOME'} . "/isabelle";
+my @suffices = ('\.thy', '\.ml', '\.ML');
+
+# lint main procedure
+sub lint() {
+    my ($basename, $dirname, $ext) = fileparse($File::Find::name, @suffices);
+    if ($ext) {
+        open ISTREAM, $File::Find::name or die("error opening $File::Find::name");
+        my $found = 0;
+        while (<ISTREAM>) {
+            $found ||= m/\$Id[^\$]*\$/;
+            last if $found;
+        }
+        close ISTREAM;
+        my $relname = substr($File::Find::name, (length $isabelleRoot) + 1);
+        if (! $found) {
+            print "Found no CVS id in $relname\n";
+        }
+    }
+}
+
+# first argument =^= isabelle repository root
+if (@ARGV) {
+    $isabelleRoot = $ARGV[0];
+}
+
+find(\&lint, $isabelleRoot);
+
diff -r 636a1a84977a -r 39c793a9b382 Admin/website/dist/installation.html
--- a/Admin/website/dist/installation.html	Tue Jun 07 06:39:39 2005 +0200
+++ b/Admin/website/dist/installation.html	Tue Jun 07 09:11:27 2005 +0200
@@ -137,7 +137,7 @@
 
         <p>For more information, see the file <a href="//dist/packages/Isabelle/INSTALL">INSTALL</a>.</p>
 
-      <h2 id="install_darwin">MaxOS / Darwin</h2>
+      <h2 id="install_darwin">MaxOS X / Darwin</h2>
 
         <p>Before you start, ensure the following for your system:</p>
         <ul>