# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1336595318 -10800
# Node ID faf5e15495dc9c2ec77f31ea0aac97ee2549a246
# Parent  842f7cd10ef83dd8665f595d18586f97279a8930
Add Proof General settings.

diff -r 842f7cd10ef8 -r faf5e15495dc .emacs-my
--- 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