(setq ps-font-size 10)
(global-font-lock-mode 1)


;;; make Emacs enter Ada Mode when loading .gps and .gpb used
;;; for gnatprep source file
(setq auto-mode-alist (cons '("\\.gp[abs]$" . ada-mode)
                            auto-mode-alist))

;;; SMV mode
(autoload 'nusmv-mode "nusmv-mode" "NuSMV specifications editing mode." t)
(setq auto-mode-alist 
      (append  (list '("\\.smv$" . nusmv-mode) )
	       auto-mode-alist))
(setq completion-ignored-extensions
      (cons ".opt" completion-ignored-extensions))

;;;; the file nusmv-mode.el must be in one of the directories in your path
;;(setq load-path (cons "/info2/villem/Projets/NuSMV/NuSMV-zchaff-2.4.3-i686-pc-linux-gnu/share/nusmv/contrib/" load-path))

;;; Latin-1 par defaut
(set-language-environment "Latin-1")  
(custom-set-variables
 '(load-home-init-file t t))
(custom-set-faces)