projects / fireball-separation.git / shortlog
| 2018-06-07 | acondolu | Tentative definition of unlockable variable | commit | commitdiff | tree | snapshot |
| 2018-06-07 | acondolu | Syntactic fixes to distinction + Some commented out... | commit | commitdiff | tree | snapshot |
| 2018-06-05 | acondolu | Added file with strong calculus and definition of disti... | commit | commitdiff | tree | snapshot |
| 2018-06-04 | acondolu | Thoughts on sigma-separation and a good sufficient... | commit | commitdiff | tree | snapshot |
| 2018-05-29 | acondolu | Fixes | commit | commitdiff | tree | snapshot |
| 2018-05-29 | acondolu | Added strong calculus for separation, plus some ac... | commit | commitdiff | tree | snapshot |
| 2018-05-29 | acondolu | Added AC's local stub of a report on strong separation | commit | commitdiff | tree | snapshot |
| 2017-06-12 | Andrea Condoluci | Initial commit | commit | commitdiff | tree | snapshot |