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