projects / fireball-separation.git / shortlog
| 2017-07-07 | acondolu | Added new calculus | commit | commitdiff | tree | snapshot |
| 2017-07-07 | acondolu | Finished proposal! | commit | commitdiff | tree | snapshot |
| 2017-07-07 | acondolu | Finished proposal? | commit | commitdiff | tree | snapshot |
| 2017-07-07 | acondolu | Working on Abella | commit | commitdiff | tree | snapshot |
| 2017-07-07 | acondolu | Added Andrea's research proposal for Marco Polo grant | commit | commitdiff | tree | snapshot |
| 2017-06-12 | <andrea.condoluci... | Initial commit from my pc | commit | commitdiff | tree | snapshot |
| 2017-06-12 | <andrea.condoluci... | Copy ocaml folder from sacerdot's svn repository, rev... | commit | commitdiff | tree | snapshot |
| 2017-06-12 | Andrea Condoluci | Initial commit | commit | commitdiff | tree | snapshot |