--- a/.emacs-my Fri Apr 06 20:05:16 2012 +0300
+++ b/.emacs-my Wed May 09 23:28:38 2012 +0300
@@ -2145,6 +2145,19 @@
(add-to-list 'auto-mode-alist '("\\.cygport\\'" . shell-script-mode))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+(message "pg, Proof General")
+
+(setq proof-splash-enable nil)
+;; (setq proof-toolbar-enable nil)
+
+(eval-after-load 'proof
+ '(progn
+ (proof-maths-menu-toggle 1)
+ (unicode-tokens-mode 1)
+ (proof-imenu-toggle 1)
+ ))
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(message "printing")
;; Use Notepad to print plain text files to the default Windows printer