temp commit.
authorKim Nguyễn <kn@lri.fr>
Wed, 24 Apr 2013 20:00:21 +0000 (22:00 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 24 Apr 2013 20:00:21 +0000 (22:00 +0200)
commite1d25ebdb6af67df9db6abce90daa0b29f375ebe
tree499609bcf990870808a49bcc60041d34f498b81e
parenta7236bfc1a897f7ea3e923fd5bfcc64bee23dfbc
temp commit.
Remakefile.in
src/eval.ml
tests/alphabet.xml.summary
tests/comments00.xml.summary
tests/xmark_small.xml.summary
tests/xmark_tiny.xml.summary