;; include the following lines into your .emacs file
;; (where you may need to change /usr/ocs to point to
;; the actual installation place)
;; for customization uncomment and change variable settings

(setq opal-path "/usr/ocs")

(setq load-path (cons (concat opal-path "/lib/emacs") load-path))

(defun my-opal-hook()
  ;; (setq opal-alist-file nil) ; uncomment to not save import maps
  ;; (setq opal-diag-extended-flag nil) ; uncomment to not show extended help
  ;; (setq opal-use-frames nil) ; uncomment to inhibit usage of frames
  ;; (setq indent-tabs-mode nil) ; uncomment to not expand TABs 
  ;; (setq auto-fill-mode nil) ; uncomment to not autobreak lines
  ;; (opal-misc-indent-on) ; uncomment to switch on opal-indentation
  ;; (opal-font-lock opal-font-lock-keywords-simple)  ; uncomment  
                                                      ; for fontlock-support
)

(add-hook 'opal-mode-hook 'my-opal-hook)

; (setq opal-novice nil)   ;; uncomment to have all menus available
; (setq opal-pchecker t) ;; uncomment for proofchecker support (XEmacs only)
; (setq opal-diag-background "lightyellow") ;; change background of diagnostics
; (setq opal-diag-extended-flag t) ;; initial state for showing extended help
; (setq opal-toolbar-position 'right) ;; position of toolbar ('left or 'right)
				      ;; XEmacs only
; (setq opal-import-fold nil) ;; if t, fold long ONLY imports to COMPLETELY

(require 'opal-mode)
