projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 2 Feb 2016 00:00:19 +0000 (00:00 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 2 Feb 2016 00:00:19 +0000 (00:00 +0000) | ||
| commit | d1493110851b34e70d11eb419e557aad9bc9f2de | |
| tree | 7f871e7a2a0ec2e7728d1fe0b059645a7b2f52b6 | tree | snapshot |
| parent | 4c9f301eac51fa478fb057f21f79f7f9341eab63 | commit | diff |
| matita/components/binaries/matex/engine.ml | diff | blob | history | |
| matita/components/binaries/matex/test/matex.sty | diff | blob | history |