From 03802058ff775967c6ee580c0998e2fd468e47fd Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@debian.org>
Date: Fri, 7 Jun 2013 21:11:55 -0400
Subject: Use three window mode in proof general

---
 .emacs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.emacs b/.emacs
index 32faee3..80fd74f 100644
--- a/.emacs
+++ b/.emacs
@@ -61,6 +61,8 @@
 
 ;;;; PROOFGENERAL
 (load-file "~/.emacs.d/proofgeneral/generic/proof-site.el")
+(setq proof-three-window-enable t)
+(setq proof-three-window-mode-policy 'hybrid)
 
 ;;;; TeX
 (setq TeX-PDF-mode t)
-- 
cgit v1.2.3