]> matita.cs.unibo.it Git - fireball-separation.git/shortlog
fireball-separation.git
2017-07-07 acondoluWorking on Abella
2017-07-07 acondoluAdded Andrea's research proposal for Marco Polo grant
2017-06-12 <andrea.condoluci... Initial commit from my pc
2017-06-12 <andrea.condoluci... Copy ocaml folder from sacerdot's svn repository, rev...
2017-06-12 Andrea CondoluciInitial commit