Table of Contents

1. Emacs mode(top)

1.1. About(top)

The Emacs mode should work for both XEmacs and Emacs. It has been tested uner

1.2. Installation(top)

The emacs mode should automatically be installed when installing PML (if you edited correctly the file Makefile.config). You will probably need to edit your init file (generally .emacs in your home directory) as suggested by

(if (and (boundp 'window-system) window-system)
     (progn
  (setq load-path (cons "~/lib/pml/emacs" load-path))
))

(setq auto-mode-alist
          (cons '("\\.pml$" . pml-mode) (cons '("\\.iml$" . pml-mode) auto-mode-alist)))
(autoload 'pml-mode "pml-mode" "Major mode for editing PML code." t)

(if (and (boundp 'window-system) window-system)
      (require 'font-lock))

1.3. How to use(top)

The mode will automatically start when editing PML files (.pml source files or .iml insterface files. If you loaded font-lock (as suggested above), some syntax highlighting is performed.

Here are the keyboard short cut:

Control-c Control-c
compiles the pml file (and its dependency). Error are then displayed in red, warning in orange, goals in green. A buffer named *pml-message* should diaply message from PML.

Shift-Control-Left-Mouse-Button
on colored zone should give you information ... except for goals in green.

Control-c g
if the cursor is in a goal, evaluates the content (parsed as an expression) of the goal in the current context.

Control-c r
if a region is selected inside a goal, evaluates the content of the region in the current context.

TAB
move the entire line to the right

Control-TAB
move the entier line to the left

Control-Shift-TAB
try to guess the correct position of the line (wrong very often)

RETURN
insert a newline + the same as Control-Shift-TAB