]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55cdd31) | patch
It shows bug with new eat
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jun 2018 09:40:53 +0000 (11:40 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jun 2018 09:40:53 +0000 (11:40 +0200)
commit249dab8c81b92df7cb8c5b48f0f62b817e2dcf61
tree468904caef36bb4d6d5b280232369d6b700805c4tree | snapshot
parent55cdd31ff67621c1c56899f044f849ea72d9a29ecommit | diff
It shows bug with new eat
ocaml/problems/simple.3 [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.