tatoo.git
11 years agoMerge branch 'master' of ssh://git.nguyen.vg/tatoo
Kim Nguyễn [Thu, 28 Jun 2012 15:29:27 +0000 (17:29 +0200)]
Merge branch 'master' of ssh://git.nguyen.vg/tatoo

Conflicts:
.gitignore

11 years agoAdd .gitignore and ignore result of compilation.
Kim Nguyễn [Thu, 28 Jun 2012 15:28:28 +0000 (17:28 +0200)]
Add .gitignore and ignore result of compilation.

11 years ago.gitignore for test.native and _build
Lucca Hirschi [Thu, 28 Jun 2012 14:44:50 +0000 (16:44 +0200)]
.gitignore for test.native and _build

11 years agoUsable version:
Kim Nguyễn [Thu, 28 Jun 2012 12:46:11 +0000 (14:46 +0200)]
Usable version:
       - use ocamlbuild
       - cherry pick Pretty, State, StateSet and Formula from SXSI
       - Parsing of XML documents

11 years agoAdd autoconf infrastructure, license, and macro files.
Kim Nguyễn [Tue, 12 Jun 2012 16:37:20 +0000 (18:37 +0200)]
Add autoconf infrastructure, license, and macro files.