;;; -*- Mode: Lisp; Package: Prolog; Base: 10. ; -*- ;;; (C) Copyright 1983, Uppsala University ;;this defines the keyboard extensions of LM-Prolog #-3600 (progn (defvar *roman-I* #\roman-I) (defvar *roman-II* #\roman-II) (defvar *roman-III* #\roman-III) (defvar *hand-down* #\hand-down) (defvar *hand-up* #\hand-up) (defvar *control-hand-down* #\control-hand-down) (defvar *super-help* #\super-help)) #+3600 (progn (defvar *roman-I* #\control-square) (defvar *roman-II* #\meta-square) (defvar *roman-III* #\square) (defvar *hand-down* #\circle) (defvar *hand-up* #\triangle) (defvar *control-hand-down* #\control-triangle) (defvar *super-help* #\super-help))