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