git.nguyen.vg Git - tatoo.git/history

2012-07-04	Lucca Hirschi	Full implem BU Oracle + eval_form in Formula (impossibl...	blob \| commitdiff \| raw
2012-07-04	Lucca Hirschi	result in .gitignore + pretty printing	blob \| commitdiff \| raw \| diff to current
2012-06-29	Lucca Hirschi	Merge branch 'lucca-master' of ssh://git.nguyen.vg...	blob \| commitdiff \| raw \| diff to current
2012-06-29	Lucca Hirschi	script ocamldoc for generating html doc and fancy graph ^^	blob \| commitdiff \| raw \| diff to current
2012-06-28	Lucca Hirschi	Merge branch 'master' of ssh://git.nguyen.vg/tatoo...	blob \| commitdiff \| raw \| diff to current
2012-06-28	Kim Nguyễn	Merge branch 'master' of ssh://git.nguyen.vg/tatoo	blob \| commitdiff \| raw \| diff to current
2012-06-28	Kim Nguyễn	Add .gitignore and ignore result of compilation.	blob \| commitdiff \| raw \| diff to current
2012-06-28	Lucca Hirschi	ignore _build/ and test.native	blob \| commitdiff \| raw \| diff to current
2012-06-28	Lucca Hirschi	.gitignore for test.native and _build	blob \| commitdiff \| raw \| diff to current

Tree Automata TOOlkit