From 6b001acf18f1d931502484a4d85b6820afe91375 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Sun, 4 Sep 2011 15:40:41 +0000
Subject: some local buffer properties;

---
 etc/isar/TokensAcid.thy | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'etc/isar')

diff --git a/etc/isar/TokensAcid.thy b/etc/isar/TokensAcid.thy
index ea32cfbe..69af8d87 100644
--- a/etc/isar/TokensAcid.thy
+++ b/etc/isar/TokensAcid.thy
@@ -5,6 +5,8 @@
 
    Note:
     Unicode Tokens mode works much better in Emacs 23 than 22.
+
+   jEdit properties :tabSize=8:indentSize=8:noTabs=false:
 *)
 
 theory TokensAcid imports Main 
-- 
cgit v1.2.3