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