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/gnu_emacs/isa_gnu_emacs.emacs
changeset 4638 49c1b2b63aa0
parent 2833 9d07ba9eebc2 
--- a/src/Tools/8bit/gnu_emacs/isa_gnu_emacs.emacs	Fri Feb 20 16:00:18 1998 +0100
+++ b/src/Tools/8bit/gnu_emacs/isa_gnu_emacs.emacs	Fri Feb 20 16:02:21 1998 +0100
@@ -40,6 +40,7 @@
 ;; key-map for Isabelle font
 ;;   
 ;; BEGIN-KEY-MAP
+(global-set-key [s-space] '(lambda () (interactive) (insert "\240")))
 (global-set-key [?\s-G] '(lambda () (interactive) (insert "\241")))
 (global-set-key [?\s-D] '(lambda () (interactive) (insert "\242")))
 (global-set-key [?\s-J] '(lambda () (interactive) (insert "\243")))
@@ -76,25 +77,6 @@
 (global-set-key [?\H-f] '(lambda () (interactive) (insert "\302")))
 (global-set-key [?\H-t] '(lambda () (interactive) (insert "\303")))
 (global-set-key [?\H-F] '(lambda () (interactive) (insert "\304")))
-(global-set-key [C-f5] '(lambda () (interactive) (insert "\305")))
-(global-set-key [C-f6] '(lambda () (interactive) (insert "\306")))
-(global-set-key [C-f7] '(lambda () (interactive) (insert "\307")))
-(global-set-key [C-f8] '(lambda () (interactive) (insert "\310")))
-(global-set-key [C-f9] '(lambda () (interactive) (insert "\311")))
-(global-set-key [C-f10] '(lambda () (interactive) (insert "\312")))
-(global-set-key [C-f11] '(lambda () (interactive) (insert "\313")))
-(global-set-key [C-f12] '(lambda () (interactive) (insert "\314")))
-(global-set-key [H-f5] '(lambda () (interactive) (insert "\317")))
-(global-set-key [H-f6] '(lambda () (interactive) (insert "\371")))
-(global-set-key [H-f7] '(lambda () (interactive) (insert "\372")))
-(global-set-key [H-f1] '(lambda () (interactive) (insert "\320")))
-(global-set-key [H-f2] '(lambda () (interactive) (insert "\321")))
-(global-set-key [H-f3] '(lambda () (interactive) (insert "\322")))
-(global-set-key [H-f4] '(lambda () (interactive) (insert "\323")))
-(global-set-key [C-f1] '(lambda () (interactive) (insert "\324")))
-(global-set-key [C-f2] '(lambda () (interactive) (insert "\325")))
-(global-set-key [C-f3] '(lambda () (interactive) (insert "\326")))
-(global-set-key [C-f4] '(lambda () (interactive) (insert "\327")))
 (global-set-key [?\H-b] '(lambda () (interactive) (insert "\330")))
 (global-set-key [?\H-e] '(lambda () (interactive) (insert "\331")))
 (global-set-key [?\H-E] '(lambda () (interactive) (insert "\332")))
@@ -107,45 +89,65 @@
 (global-set-key [?\H-G] '(lambda () (interactive) (insert "\341")))
 (global-set-key [?\H-s] '(lambda () (interactive) (insert "\342")))
 (global-set-key [?\H-S] '(lambda () (interactive) (insert "\343")))
-(global-set-key [S-f11] '(lambda () (interactive) (insert "\344")))
-(global-set-key [S-f12] '(lambda () (interactive) (insert "\345")))
-(global-set-key [s-f1] '(lambda () (interactive) (insert "\346")))
-(global-set-key [s-f2] '(lambda () (interactive) (insert "\347")))
-(global-set-key [s-f3] '(lambda () (interactive) (insert "\350")))
+(global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350")))
+(global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353")))
+(global-set-key [?\H-M] '(lambda () (interactive) (insert "\350")))
+(global-set-key [?\H-m] '(lambda () (interactive) (insert "\353")))
+(global-set-key [?\H-N] '(lambda () (interactive) (insert "\367")))
+(global-set-key [?\H-x] '(lambda () (interactive) (insert "\362")))
+(global-set-key [f2] '(lambda () (interactive) (insert "\344")))
+(global-set-key [f3] '(lambda () (interactive) (insert "\335")))
+(global-set-key [f4] '(lambda () (interactive) (insert "\317")))
+(global-set-key [f5] '(lambda () (interactive) (insert "\316")))
+(global-set-key [f6] '(lambda () (interactive) (insert "\361")))
+(global-set-key [f7] '(lambda () (interactive) (insert "\345")))
+(global-set-key [f8] '(lambda () (interactive) (insert "\332")))
+(global-set-key [f9] '(lambda () (interactive) (insert "\304")))
+(global-set-key [f10] '(lambda () (interactive) (insert "\313")))
+(global-set-key [f11] '(lambda () (interactive) (insert "\314")))
+(global-set-key [f12] '(lambda () (interactive) (insert "\352")(insert "\353")))
 (global-set-key [S-f1] '(lambda () (interactive) (insert "\351")))
 (global-set-key [S-f2] '(lambda () (interactive) (insert "\352")))
 (global-set-key [S-f3] '(lambda () (interactive) (insert "\353")))
-(global-set-key [s-f5] '(lambda () (interactive) (insert "\354")))
-(global-set-key [s-f6] '(lambda () (interactive) (insert "\355")))
-(global-set-key [s-f7] '(lambda () (interactive) (insert "\356")))
-(global-set-key [s-f8] '(lambda () (interactive) (insert "\357")))
-(global-set-key [s-f9] '(lambda () (interactive) (insert "\360")))
-(global-set-key [s-f10] '(lambda () (interactive) (insert "\315")))
-(global-set-key [?\H-x] '(lambda () (interactive) (insert "\362")))
+(global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353")))
 (global-set-key [S-f5] '(lambda () (interactive) (insert "\363")))
 (global-set-key [S-f6] '(lambda () (interactive) (insert "\364")))
 (global-set-key [S-f7] '(lambda () (interactive) (insert "\365")))
 (global-set-key [S-f8] '(lambda () (interactive) (insert "\366")))
-(global-set-key [S-f9] '(lambda () (interactive) (insert "\367")))
-(global-set-key [S-f10] '(lambda () (interactive) (insert "\370")))
-(global-set-key [s-f11] '(lambda () (interactive) (insert "\316")))
-(global-set-key [s-f12] '(lambda () (interactive) (insert "\361")))
-(global-set-key [H-f8] '(lambda () (interactive) (insert "\373")))
-(global-set-key [H-f9] '(lambda () (interactive) (insert "\374")))
-(global-set-key [H-f10] '(lambda () (interactive) (insert "\375")))
+(global-set-key [S-f9] '(lambda () (interactive) (insert "\312")))
+(global-set-key [S-f10] '(lambda () (interactive) (insert "\311")))
+(global-set-key [C-f1] '(lambda () (interactive) (insert "\346")))
+(global-set-key [C-f2] '(lambda () (interactive) (insert "\347")))
+(global-set-key [C-f3] '(lambda () (interactive) (insert "\350")))
+(global-set-key [C-f4] '(lambda () (interactive) (insert "\346")(insert "\350")))
+(global-set-key [C-f5] '(lambda () (interactive) (insert "\305")))
+(global-set-key [C-f6] '(lambda () (interactive) (insert "\306")))
+(global-set-key [C-f7] '(lambda () (interactive) (insert "\307")))
+(global-set-key [C-f8] '(lambda () (interactive) (insert "\310")))
+(global-set-key [C-f9] '(lambda () (interactive) (insert "\375")))
+(global-set-key [C-f10] '(lambda () (interactive) (insert "\315")))
+(global-set-key [s-f1] '(lambda () (interactive) (insert "\355")))
+(global-set-key [s-f2] '(lambda () (interactive) (insert "\356")))
+(global-set-key [s-f3] '(lambda () (interactive) (insert "\357")))
+(global-set-key [s-f4] '(lambda () (interactive) (insert "\360")))
+(global-set-key [s-f5] '(lambda () (interactive) (insert "\324")))
+(global-set-key [s-f6] '(lambda () (interactive) (insert "\325")))
+(global-set-key [s-f7] '(lambda () (interactive) (insert "\326")))
+(global-set-key [s-f8] '(lambda () (interactive) (insert "\327")))
+(global-set-key [s-f9] '(lambda () (interactive) (insert "\334")))
+(global-set-key [s-f10] '(lambda () (interactive) (insert "\370")))
+(global-set-key [H-f1] '(lambda () (interactive) (insert "\371")))
+(global-set-key [H-f2] '(lambda () (interactive) (insert "\372")))
+(global-set-key [H-f3] '(lambda () (interactive) (insert "\373")))
+(global-set-key [H-f4] '(lambda () (interactive) (insert "\374")))
+(global-set-key [H-f5] '(lambda () (interactive) (insert "\320")))
+(global-set-key [H-f6] '(lambda () (interactive) (insert "\321")))
+(global-set-key [H-f7] '(lambda () (interactive) (insert "\322")))
+(global-set-key [H-f8] '(lambda () (interactive) (insert "\323")))
+(global-set-key [H-f9] '(lambda () (interactive) (insert "\367")))
+(global-set-key [H-f10] '(lambda () (interactive) (insert "\354")))
 (global-set-key [H-f11] '(lambda () (interactive) (insert "\376")))
 (global-set-key [H-f12] '(lambda () (interactive) (insert "\377")))
-(global-set-key [S-f4] '(lambda () (interactive) (insert "\351")(insert "\353")))
-(global-set-key [s-f4] '(lambda () (interactive) (insert "\346")(insert "\350")))
-(global-set-key [?\H-i] '(lambda () (interactive) (insert "\347")(insert "\350")))
-(global-set-key [?\H-I] '(lambda () (interactive) (insert "\352")(insert "\353")))
-(global-set-key [?\H-m] '(lambda () (interactive) (insert "\350")))
-(global-set-key [?\H-M] '(lambda () (interactive) (insert "\353")))
-(global-set-key [?\H-N] '(lambda () (interactive) (insert "\367")))
-(global-set-key [f9] '(lambda () (interactive) (insert "\304")))
-(global-set-key [f10] '(lambda () (interactive) (insert "\352")(insert "\353")))
-(global-set-key [f11] '(lambda () (interactive) (insert "\332")))
-(global-set-key [f12] '(lambda () (interactive) (insert "\333")))
 ;; END-KEY-MAP
isabelle