diff -r 629f3a92863e -r 0ddd8028f98c doc-src/IsarImplementation/checkglossary
--- a/doc-src/IsarImplementation/checkglossary	Thu Feb 26 10:13:43 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-#!/usr/bin/env perl
-# $Id$
-
-use strict;
-
-my %defs = ();
-my %refs = ();
-
-while (<ARGV>) {
-    if (m,\\glossaryentry\{\w*\\bf *((\w|\s)+)@,) {
-	$defs{lc $1} = 1;
-    }
-    while (m,\\seeglossary *\{((\w|\s)+)\},g) {
-	$refs{lc $1} = 1;
-    }
-}
-
-print "Glossary definitions:\n";
-foreach (sort(keys(%defs))) {
-    print "  \"$_\"\n";
-}
-
-foreach (keys(%refs)) {
-    s,s$,,;
-    if (!defined($defs{$_})) {
-	print "### Undefined glossary reference: \"$_\"\n";
-    }
-}