]> matita.cs.unibo.it Git - helm.git/commit
Remove the daemon :-)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Jun 2011 10:22:29 +0000 (10:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Jun 2011 10:22:29 +0000 (10:22 +0000)
commit0e81e658803822599b5e015aab67bc282afc9c4d
tree7d14c7dcc8815f4cdf3d6fef3bcaa22a0a1612f8
parent6d0c4a258bcad918a6ef5582ec44b4c7b523387d
Remove the daemon :-)
matita/matita/lib/basics/jmeq.ma