--- 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