projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 1 Oct 2004 12:41:18 +0000 (12:41 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 1 Oct 2004 12:41:18 +0000 (12:41 +0000) | ||
| commit | 015263908d9142798bcbddbe4c4d13f71e08c5c3 | |
| tree | e22dfc42ab56698a528cac6f62db914a89a6643b | tree | snapshot |
| parent | 5daf3f8d09d98d1aedb8bc796f84c1b588ca1ba8 | commit | diff |
| helm/matita/.depend | diff | blob | history | |
| helm/matita/Makefile.in | diff | blob | history | |
| helm/matita/buildTimeConf.ml.in | diff | blob | history | |
| helm/matita/configure.ac | diff | blob | history | |
| helm/matita/matita.conf.xml.sample | diff | blob | history | |
| helm/matita/matita.glade | diff | blob | history | |
| helm/matita/matita.ml | diff | blob | history | |
| helm/matita/matitaGeneratedGui.ml | diff | blob | history | |
| helm/matita/matitaGeneratedGui.mli | diff | blob | history | |
| helm/matita/matitaInterpreter.ml | diff | blob | history | |
| helm/matita/matitaInterpreter.mli | diff | blob | history | |
| helm/matita/matitaMathView.ml | [new file with mode: 0644] | blob |
| helm/matita/matitaMathView.mli | [new file with mode: 0644] | blob |
| helm/matita/matitaProof.ml | diff | blob | history | |
| helm/matita/matitaProof.mli | diff | blob | history | |
| helm/matita/matitaTypes.ml | diff | blob | history |