projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 24 Jun 2016 13:41:09 +0000 (13:41 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 24 Jun 2016 13:41:09 +0000 (13:41 +0000) | ||
| commit | 27e233449243eb4dc9b221a1117607493522c7e9 | |
| tree | 89f9ca0b53325877d9495a1ffd68c93d192adf50 | tree | snapshot |
| parent | 28e8954fbe2e28f01ae918c8d0e0ef34bd84b48f | commit | diff |
| matita/components/binaries/matex/test/basic_1.conf.xml | diff | blob | history | |
| matita/components/binaries/matex/test/basic_1.sty | diff | blob | history |