-------------------------------------------------------------------------------
Procdure d'installation pour le TP SMV
-------------------------------------------------------------------------------

- Dcompactez l'archive sous votre compte sous un rpertoire de votre
  choix (not <SMV>)

- ajoutez  la variable PATH le chemin <SMV>/bin
> export PATH=$PATH:<SMV>/bin

- mode emacs: ajoutez le bout de code lisp suivant au fichier de
  configuration d'emacs (~/.emacs). N'oubliez pas de remplacer <SMV>
  par le bon chemin.

(autoload 'smv-mode 
	  "<SMV>/emacs/smv-mode" 
	  "SMV specifications editing mode." t)
(setq auto-mode-alist 
      (append  (list '("\\.smv$" . smv-mode) '("\\.ord$" . smv-ord-mode))
	       auto-mode-alist))
(setq completion-ignored-extensions
      (cons ".ord" (cons ".opt" completion-ignored-extensions)))



Vous pouvez maintenant diter un fichier smv, par exemple counter.smv
fourni avec la distribution. L'invocation de smv depuis emacs se fait
par la commande C-c-C-f.

Bon travail!

-------------------------------------------------------------------------------
-------------------------------------------------------------------------------
