projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 15 Feb 2016 21:29:10 +0000 (21:29 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 15 Feb 2016 21:29:10 +0000 (21:29 +0000) | ||
| commit | 709537efda53c6189ed3e3e9877f1f93ac6d512a | |
| tree | b75ab5a861e40e4e26f957f86340a0bfde8c3d97 | tree | snapshot |
| parent | bb6e68b2cf746bb3108543807207a1ca628ab442 | commit | diff |
| matita/components/binaries/matex/TeX.ml | diff | blob | history | |
| matita/components/binaries/matex/engine.ml | diff | blob | history | |
| matita/components/binaries/matex/test/matex.sty | diff | blob | history |