# HG changeset patch
# User haftmann
# Date 1291381255 -3600
# Node ID 178c6654568cb975d4fd594a8ccbd6d50157af68
# Parent  5cd8464dccbbab45ac9e9a7a6711c5e92f47b95a
removed outdated lint script

diff -r 5cd8464dccbb -r 178c6654568c Admin/isatest/isatest-lint
--- a/Admin/isatest/isatest-lint	Fri Dec 03 10:43:09 2010 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,40 +0,0 @@
-#!/usr/bin/env perl
-#
-# 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);
-