Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/8bit/perl/generators/gen-isaterm.pl
changeset 4637 bac998af6ea2
parent 2795 d136fff43370 
--- a/src/Tools/8bit/perl/generators/gen-isaterm.pl	Fri Feb 20 15:59:13 1998 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isaterm.pl	Fri Feb 20 16:00:18 1998 +0100
@@ -108,7 +108,7 @@
 $found = 0;
 $end_key_map = 0;
 $pattern = 
-'^\s*MOD\s*(None|Mod1|Mod2|Mod4|Shift|Ctrl)\s*KEY\s*([a-zA-Z]|F\d{1,2})\s*CODE\s*([0-9a-fA-F][0-9a-fA-F](\s*,\s*[0-9a-fA-F][0-9a-fA-F])*)\s*$';
+'^\s*MOD\s*(None|Mod1|Mod2|Mod4|Shift|Ctrl)\s*KEY\s*([a-zA-Z]+|F\d{1,2})\s*CODE\s*([0-9a-fA-F][0-9a-fA-F](\s*,\s*[0-9a-fA-F][0-9a-fA-F])*)\s*$';
 
 while (<INFILE> ){
     if (/^\s*END_KEY_MAP/){
isabelle