Misc. rewrites:
authorKim Nguyễn <kn@lri.fr>
Wed, 18 Apr 2012 11:43:32 +0000 (13:43 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 18 Apr 2012 11:43:32 +0000 (13:43 +0200)
commitdcc638cf4072979834f404894cbedc653542374f
treea18469fe26c1d13da41e1dd50d0294b393b1203e
parent577e04ded43baa0582530316da40777884031dc8
Misc. rewrites:
      - cosmetic changes tab -> whitespaces
      - more logging
src/ata.ml
src/ata.mli
src/compile.ml
src/runtime.ml