Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
extended input syntax to handle names of special keys
authoroheimb
Fri, 20 Feb 1998 16:00:18 +0100
changeset 4637 bac998af6ea2
parent 4636 f6b89d9b0076
child 4638 49c1b2b63aa0
extended input syntax to handle names of special keys
src/Tools/8bit/perl/generators/gen-isa_gnu_emacs.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isa_xemacs.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isaaxe.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isaterm.pl file | annotate | diff | comparison | revisions
src/Tools/8bit/perl/generators/gen-isavim.pl file | annotate | diff | comparison | revisions 
--- a/src/Tools/8bit/perl/generators/gen-isa_gnu_emacs.pl	Fri Feb 20 15:59:13 1998 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isa_gnu_emacs.pl	Fri Feb 20 16:00:18 1998 +0100
@@ -107,7 +107,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/){
--- a/src/Tools/8bit/perl/generators/gen-isa_xemacs.pl	Fri Feb 20 15:59:13 1998 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isa_xemacs.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/){
--- a/src/Tools/8bit/perl/generators/gen-isaaxe.pl	Fri Feb 20 15:59:13 1998 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isaaxe.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/){
--- 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/){
--- a/src/Tools/8bit/perl/generators/gen-isavim.pl	Fri Feb 20 15:59:13 1998 +0100
+++ b/src/Tools/8bit/perl/generators/gen-isavim.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