lib/scripts/fixdots.pl
changeset 9789 7e5e6c47c0b5
parent 4076 8315021bf7d6
child 14981 e73f8140af78
--- a/lib/scripts/fixdots.pl	Fri Sep 01 17:50:36 2000 +0200
+++ b/lib/scripts/fixdots.pl	Fri Sep 01 17:54:58 2000 +0200
@@ -1,5 +1,7 @@
 #
 # $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # fixdots.pl - ensure that dots in formulas are followed by non-idents
 #