changeset 6281 | 25d41c118304 |
parent 3068 | b7562e452816 |
child 9789 | 7e5e6c47c0b5 |
--- a/lib/scripts/symbolinput.pl Fri Feb 12 13:56:21 1999 +0100 +++ b/lib/scripts/symbolinput.pl Fri Feb 12 14:40:56 1999 +0100 @@ -6,7 +6,7 @@ %tab = ( #GENERATED TEXT FOLLOWS - Do not edit! - "\xa0", "\\<space2>", + "\xa0", "\\<spacespace>", "\xa1", "\\<Gamma>", "\xa2", "\\<Delta>", "\xa3", "\\<Theta>",