Mercurial Mercurial > dot-emacs / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | zip | gz | bz2 | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorOleksandr Gavenko <gavenkoa@gmail.com>
Wed, 06 Jun 2012 23:28:41 +0300
changeset 876 054d954a435e
parent 875 ad6675a2cc8e (diff)
parent 873 900edc8d663e (current diff)
child 877 b4412d7ff8a1
merged
.emacs-my file | annotate | diff | comparison | revisions 
--- 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
dot-emacs