changeset 2424 | a310d0c89789 |
parent 2423 | 4550426cf8f7 |
child 2676 | 585cd2311a98 |
2423:4550426cf8f7 | 2424:a310d0c89789 |
---|---|
1 # Title: Distribution/lib/scripts/symbol_input.pl |
1 # Title: Distribution/lib/scripts/symbolinput.pl |
2 # ID: $Id$ |
2 # ID: $Id$ |
3 # Author: Markus Wenzel, David von Oheimb |
3 # Author: Markus Wenzel, David von Oheimb |
4 # Copyright 1996 Technische Universitaet Muenchen |
4 # Copyright 1996 Technische Universitaet Muenchen |
5 # |
5 # |
6 # translate symbols into \<...> sequences. |
6 # translate symbols into \<...> sequences. |