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/axe/isaaxe
changeset 4638 49c1b2b63aa0
parent 2852 ddb85eb8385f 
--- a/src/Tools/8bit/axe/isaaxe	Fri Feb 20 16:00:18 1998 +0100
+++ b/src/Tools/8bit/axe/isaaxe	Fri Feb 20 16:02:21 1998 +0100
@@ -49,6 +49,7 @@
 *fontMenu.label:    Fonts" -xrm "\
 *FontList: Isa14:isabelle14 Isa24:isabelle24" -xrm "\
 *Axe*ed.translations: #override\
+	!Mod2 <Key>space:		insert-string(0xa0)  \n\
 	!Mod2 Shift <Key>g:		insert-string(0xa1)  \n\
 	!Mod2 Shift <Key>d:		insert-string(0xa2)  \n\
 	!Mod2 Shift <Key>j:		insert-string(0xa3)  \n\
@@ -85,25 +86,6 @@
 	!Mod4 <Key>f:		insert-string(0xc2)  \n\
 	!Mod4 <Key>t:		insert-string(0xc3)  \n\
 	!Mod4 Shift <Key>f:		insert-string(0xc4)  \n\
-	!Ctrl <Key>F5:		insert-string(0xc5)  \n\
-	!Ctrl <Key>F6:		insert-string(0xc6)  \n\
-	!Ctrl <Key>F7:		insert-string(0xc7)  \n\
-	!Ctrl <Key>F8:		insert-string(0xc8)  \n\
-	!Ctrl <Key>F9:		insert-string(0xc9)  \n\
-	!Ctrl <Key>F10:		insert-string(0xca)  \n\
-	!Ctrl <Key>F11:		insert-string(0xcb)  \n\
-	!Ctrl <Key>F12:		insert-string(0xcc)  \n\
-	!Mod4 <Key>F5:		insert-string(0xcf)  \n\
-	!Mod4 <Key>F6:		insert-string(0xf9)  \n\
-	!Mod4 <Key>F7:		insert-string(0xfa)  \n\
-	!Mod4 <Key>F1:		insert-string(0xd0)  \n\
-	!Mod4 <Key>F2:		insert-string(0xd1)  \n\
-	!Mod4 <Key>F3:		insert-string(0xd2)  \n\
-	!Mod4 <Key>F4:		insert-string(0xd3)  \n\
-	!Ctrl <Key>F1:		insert-string(0xd4)  \n\
-	!Ctrl <Key>F2:		insert-string(0xd5)  \n\
-	!Ctrl <Key>F3:		insert-string(0xd6)  \n\
-	!Ctrl <Key>F4:		insert-string(0xd7)  \n\
 	!Mod4 <Key>b:		insert-string(0xd8)  \n\
 	!Mod4 <Key>e:		insert-string(0xd9)  \n\
 	!Mod4 Shift <Key>e:		insert-string(0xda)  \n\
@@ -116,43 +98,63 @@
 	!Mod4 Shift <Key>g:		insert-string(0xe1)  \n\
 	!Mod4 <Key>s:		insert-string(0xe2)  \n\
 	!Mod4 Shift <Key>s:		insert-string(0xe3)  \n\
-	!Shift <Key>F11:		insert-string(0xe4)  \n\
-	!Shift <Key>F12:		insert-string(0xe5)  \n\
-	!Mod2 <Key>F1:		insert-string(0xe6)  \n\
-	!Mod2 <Key>F2:		insert-string(0xe7)  \n\
-	!Mod2 <Key>F3:		insert-string(0xe8)  \n\
+	!Mod4 <Key>i:		insert-string(0xe7) insert-string(0xe8)  \n\
+	!Mod4 Shift <Key>i:		insert-string(0xea) insert-string(0xeb)  \n\
+	!Mod4 Shift <Key>m:		insert-string(0xe8)  \n\
+	!Mod4 <Key>m:		insert-string(0xeb)  \n\
+	!Mod4 Shift <Key>n:		insert-string(0xf7)  \n\
+	!Mod4 <Key>x:		insert-string(0xf2)  \n\
+	! <Key>F2:		insert-string(0xe4)  \n\
+	! <Key>F3:		insert-string(0xdd)  \n\
+	! <Key>F4:		insert-string(0xcf)  \n\
+	! <Key>F5:		insert-string(0xce)  \n\
+	! <Key>F6:		insert-string(0xf1)  \n\
+	! <Key>F7:		insert-string(0xe5)  \n\
+	! <Key>F8:		insert-string(0xda)  \n\
+	! <Key>F9:		insert-string(0xc4)  \n\
+	! <Key>F10:		insert-string(0xcb)  \n\
+	! <Key>F11:		insert-string(0xcc)  \n\
+	! <Key>F12:		insert-string(0xea) insert-string(0xeb)  \n\
 	!Shift <Key>F1:		insert-string(0xe9)  \n\
 	!Shift <Key>F2:		insert-string(0xea)  \n\
 	!Shift <Key>F3:		insert-string(0xeb)  \n\
-	!Mod2 <Key>F5:		insert-string(0xec)  \n\
-	!Mod2 <Key>F6:		insert-string(0xed)  \n\
-	!Mod2 <Key>F7:		insert-string(0xee)  \n\
-	!Mod2 <Key>F8:		insert-string(0xef)  \n\
-	!Mod2 <Key>F9:		insert-string(0xf0)  \n\
-	!Mod2 <Key>F10:		insert-string(0xcd)  \n\
-	!Mod4 <Key>x:		insert-string(0xf2)  \n\
+	!Shift <Key>F4:		insert-string(0xe9) insert-string(0xeb)  \n\
 	!Shift <Key>F5:		insert-string(0xf3)  \n\
 	!Shift <Key>F6:		insert-string(0xf4)  \n\
 	!Shift <Key>F7:		insert-string(0xf5)  \n\
 	!Shift <Key>F8:		insert-string(0xf6)  \n\
-	!Shift <Key>F9:		insert-string(0xf7)  \n\
-	!Shift <Key>F10:		insert-string(0xf8)  \n\
-	!Mod2 <Key>F11:		insert-string(0xce)  \n\
-	!Mod2 <Key>F12:		insert-string(0xf1)  \n\
-	!Mod4 <Key>F8:		insert-string(0xfb)  \n\
-	!Mod4 <Key>F9:		insert-string(0xfc)  \n\
-	!Mod4 <Key>F10:		insert-string(0xfd)  \n\
+	!Shift <Key>F9:		insert-string(0xca)  \n\
+	!Shift <Key>F10:		insert-string(0xc9)  \n\
+	!Ctrl <Key>F1:		insert-string(0xe6)  \n\
+	!Ctrl <Key>F2:		insert-string(0xe7)  \n\
+	!Ctrl <Key>F3:		insert-string(0xe8)  \n\
+	!Ctrl <Key>F4:		insert-string(0xe6) insert-string(0xe8)  \n\
+	!Ctrl <Key>F5:		insert-string(0xc5)  \n\
+	!Ctrl <Key>F6:		insert-string(0xc6)  \n\
+	!Ctrl <Key>F7:		insert-string(0xc7)  \n\
+	!Ctrl <Key>F8:		insert-string(0xc8)  \n\
+	!Ctrl <Key>F9:		insert-string(0xfd)  \n\
+	!Ctrl <Key>F10:		insert-string(0xcd)  \n\
+	!Mod2 <Key>F1:		insert-string(0xed)  \n\
+	!Mod2 <Key>F2:		insert-string(0xee)  \n\
+	!Mod2 <Key>F3:		insert-string(0xef)  \n\
+	!Mod2 <Key>F4:		insert-string(0xf0)  \n\
+	!Mod2 <Key>F5:		insert-string(0xd4)  \n\
+	!Mod2 <Key>F6:		insert-string(0xd5)  \n\
+	!Mod2 <Key>F7:		insert-string(0xd6)  \n\
+	!Mod2 <Key>F8:		insert-string(0xd7)  \n\
+	!Mod2 <Key>F9:		insert-string(0xdc)  \n\
+	!Mod2 <Key>F10:		insert-string(0xf8)  \n\
+	!Mod4 <Key>F1:		insert-string(0xf9)  \n\
+	!Mod4 <Key>F2:		insert-string(0xfa)  \n\
+	!Mod4 <Key>F3:		insert-string(0xfb)  \n\
+	!Mod4 <Key>F4:		insert-string(0xfc)  \n\
+	!Mod4 <Key>F5:		insert-string(0xd0)  \n\
+	!Mod4 <Key>F6:		insert-string(0xd1)  \n\
+	!Mod4 <Key>F7:		insert-string(0xd2)  \n\
+	!Mod4 <Key>F8:		insert-string(0xd3)  \n\
+	!Mod4 <Key>F9:		insert-string(0xf7)  \n\
+	!Mod4 <Key>F10:		insert-string(0xec)  \n\
 	!Mod4 <Key>F11:		insert-string(0xfe)  \n\
-	!Mod4 <Key>F12:		insert-string(0xff)  \n\
-	!Shift <Key>F4:		insert-string(0xe9) insert-string(0xeb)  \n\
-	!Mod2 <Key>F4:		insert-string(0xe6) insert-string(0xe8)  \n\
-	!Mod4 <Key>i:		insert-string(0xe7) insert-string(0xe8)  \n\
-	!Mod4 Shift <Key>i:		insert-string(0xea) insert-string(0xeb)  \n\
-	!Mod4 <Key>m:		insert-string(0xe8)  \n\
-	!Mod4 Shift <Key>m:		insert-string(0xeb)  \n\
-	!Mod4 Shift <Key>n:		insert-string(0xf7)  \n\
-	! <Key>F9:		insert-string(0xc4)  \n\
-	! <Key>F10:		insert-string(0xea) insert-string(0xeb)  \n\
-	! <Key>F11:		insert-string(0xda)  \n\
-	! <Key>F12:		insert-string(0xdb)  \
+	!Mod4 <Key>F12:		insert-string(0xff)  \
 " $*
isabelle