projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 8 Sep 2011 14:11:12 +0000 (14:11 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 8 Sep 2011 14:11:12 +0000 (14:11 +0000) | ||
| commit | 5f1afbcf716a9275f70baa02a5a464bd2abc0726 | |
| tree | 049c2fdeb916af7ecc9a673d1691e75a00ebde41 | tree | snapshot |
| parent | 0cda74283ace2af53332667a32978dac2701dc78 | commit | diff |
| matitaB/matita/matitadaemon.ml | diff | blob | history | |
| matitaB/matita/matitaweb.js | diff | blob | history |