matita.cs.unibo.it Git - fireball-separation.git/history

]> matita.cs.unibo.it Git - fireball-separation.git/history - ocaml/Makefile

2018-05-31	acondolu	Added simple_test.ml	blob \| commitdiff \| raw
2018-05-31	acondolu	Moved andrea.ml to simple.ml	blob \| commitdiff \| raw \| diff to current
2018-05-30	acondolu	Simple algorithm by Andrea	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Code clean-up	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Moved parse' from Num to Parser	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Re-use Util.index_of	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Remove FORCE option in Makefile	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	clean removes *.o files	blob \| commitdiff \| raw \| diff to current
2017-07-11	acondolu	Run tests with: make run	blob \| commitdiff \| raw \| diff to current
2017-06-22	<andrea.condoluci...	Removed lambda3 + Fixed lambda4	blob \| commitdiff \| raw \| diff to current
2017-06-12	<andrea.condoluci...	Moved andrea's stuff to its branch	blob \| commitdiff \| raw \| diff to current
2017-06-12	<andrea.condoluci...	Copy ocaml folder from sacerdot's svn repository, rev...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.