projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 10 Jan 2007 14:23:47 +0000 (14:23 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 10 Jan 2007 14:23:47 +0000 (14:23 +0000) | ||
| commit | 05078521aaff6f41f55114e5332663b1e9706824 | |
| tree | baac3ef14392f40502482dacba1e809f89f0769a | tree | snapshot |
| parent | 00622648cb1a7cf21115dca649c8df922b7a77ad | commit | diff |
| helm/software/matita/matita.ml | diff | blob | history | |
| helm/software/matita/matitaMathView.ml | diff | blob | history | |
| helm/software/matita/matitaScript.ml | diff | blob | history |