diff -r 6ad158576972 -r 71de955e8fc9 configure
--- a/configure	Sun Sep 03 20:00:34 2000 +0200
+++ b/configure	Sun Sep 03 20:01:27 2000 +0200
@@ -1,6 +1,8 @@
 #!/bin/sh
 #
 # $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # configure - adapt Isabelle distribution to system environment