projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 27 Oct 2010 09:53:58 +0000 (09:53 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 27 Oct 2010 09:53:58 +0000 (09:53 +0000) | ||
| commit | 40113919c6796c2cfd3b56170f4faa239bb67f99 | |
| tree | fcf47bc8ceae9127e6cbaa5e3a3232ce137e11dc | tree | snapshot |
| parent | c66c77bf74eb6e2f1ef011e9593a54bf4d19111b | commit | diff |
| matita/matita/buildTimeConf.ml.in | diff | blob | history | |
| matita/matita/matitaInit.ml | diff | blob | history |