projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 5 Nov 2010 11:18:41 +0000 (11:18 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 5 Nov 2010 11:18:41 +0000 (11:18 +0000) | ||
| commit | 608b33a4b7c6b9c36b0637ba3894afe7093e9000 | |
| tree | edc7ae3bd19e9f23ba4e4edbbed24fad0593209b | tree | snapshot |
| parent | 1009a1048c267f007cc1a265fafaeacfe5af740c | commit | diff |
| matita/matita/matitaEngine.ml | diff | blob | history | |
| matita/matita/matitaEngine.mli | diff | blob | history |