projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 1 Feb 2016 00:20:16 +0000 (00:20 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 1 Feb 2016 00:20:16 +0000 (00:20 +0000) | ||
| commit | 4c9f301eac51fa478fb057f21f79f7f9341eab63 | |
| tree | b021912af436a2e9a7aaa9e25c8c03d2c4bdf29f | tree | snapshot |
| parent | e92beef4185d9c11884bcdb123429b1e7138e40c | commit | diff |
| matita/components/binaries/matex/test/Makefile | diff | blob | history | |
| matita/components/binaries/matex/test/matex.sty | diff | blob | history |