Robust/src/README

   1 See the wiki page at http://demsky.eecs.uci.edu/compiler/
   2
   3 To set emacs tabbing add to your .emacs file:
   4 (setq c-basic-offset 2)