changeset 9789 | 7e5e6c47c0b5 |
parent 6281 | 25d41c118304 |
child 9961 | 5a9626118941 |
--- a/lib/scripts/symbolinput.pl Fri Sep 01 17:50:36 2000 +0200 +++ b/lib/scripts/symbolinput.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) # # symbolinput.pl - expand isabelle-0 encoded chars to \<...> sequences. #