last changes

diff --git a/Robust/src/README b/Robust/src/README
index b623359c0d07c3e10dbf87ca576170f743b9aeed..df13bf73e21f1e1cd3bc2bb7b7849a69944c99aa 100644 (file)
--- a/Robust/src/README
+++ b/Robust/src/README
@@ -1,2 +1,4 @@
 See the wiki page at http://demsky.eecs.uci.edu/compiler/
 
+To set emacs tabbing add to your .emacs file:
+(setq c-basic-offset 2)
\ No newline at end of file

diff --git a/Robust/src/java.cfg b/Robust/src/java.cfg
index d028eed8ff1e088477f3ce945ca8f5812811dd16..9a49145ab3cc339b4864f4f4e1d21214bdc65e02 100644 (file)
--- a/Robust/src/java.cfg
+++ b/Robust/src/java.cfg
@@ -1,4 +1,4 @@
-indent_columns = 4
+indent_columns = 2
 indent_class = True
 nl_if_brace = Remove
 nl_brace_else = Remove