projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 23 Jun 2011 14:09:15 +0000 (14:09 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 23 Jun 2011 14:09:15 +0000 (14:09 +0000) | ||
| commit | 5083220dde1a1bfeec3e0c78b456c42fc20778da | |
| tree | 88b0b03e4ee7b3ca58c260c3755ebb3601b13f29 | tree | snapshot |
| parent | 09d603f27612b26f6be736da8e1629516aa22663 | commit | diff |
| matitaB/matita/matitadaemon.ml | diff | blob | history | |
| matitaB/matita/netplex.conf | diff | blob | history |