# HG changeset patch
# User wenzelm
# Date 1255817420 -7200
# Node ID eac0ff83005e220bbf18b7de069ebf4d51ba65e6
# Parent  6f5efd3cfc3980500adb545ea2b374e2db23a6e1
disable indent-tabs-mode in Proof General / Emacs;

diff -r 6f5efd3cfc39 -r eac0ff83005e etc/proofgeneral-settings.el
--- a/etc/proofgeneral-settings.el	Sat Oct 17 23:48:09 2009 +0200
+++ b/etc/proofgeneral-settings.el	Sun Oct 18 00:10:20 2009 +0200
@@ -2,6 +2,8 @@
 
 ;; Examples for sensible settings:
 
+(custom-set-variables '(indent-tabs-mode nil))
+
 ;(custom-set-variables '(isar-eta-contract nil))
 
 ;(custom-set-faces