# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1339014521 -10800
# Node ID 054d954a435e69933cbbfdc398bfdb2a431f47d7
# Parent  ad6675a2cc8ed4ef7c624c0ed7fe8e167b4a357c# Parent  900edc8d663e2db557b916a76d108670021bbc69
merged

diff -r 900edc8d663e -r 054d954a435e .emacs-my
--- a/.emacs-my	Sat Jun 02 22:30:07 2012 +0300
+++ b/.emacs-my	Wed Jun 06 23:28:41 2012 +0300
@@ -50,6 +50,7 @@
   (setq debug-on-error mode)
   ;; Get trace when press C-g.
   (setq debug-on-quit mode)
+  ;; (setq debug-on-signal mode)
   )
 
 (my-debug nil)
@@ -2155,14 +2156,17 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 (message "pg, Proof General")
 
-(setq proof-splash-enable t)
+(setq proof-splash-enable nil)
 ;; (setq proof-toolbar-enable nil)
 
-(setq isar-display:show-types t)
-(setq isar-display:show-sorts t)
-(setq isar-display:show-consts t)
-(setq isar-display:show-brackets t)
-(setq isar-display:show-main-goal t)
+(setq
+ isar-display:show-types t
+ isar-display:show-sorts t
+ isar-display:show-main-goal t
+ isar-display:show-brackets t
+ ;; Too many output, so commented:
+ ;; isar-display:show-consts t
+ )
 
 (eval-after-load 'proof
   '(progn