projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 15 Dec 2011 15:19:42 +0000 (15:19 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 15 Dec 2011 15:19:42 +0000 (15:19 +0000) | ||
| commit | 4ed35234de6912d85cb216d61fb523e50449be0b | |
| tree | d16798772b27f760358237a72301e94c900c23ee | tree | snapshot |
| parent | 179aad29c98fcb78c8859e8a044e342b9259dd02 | commit | diff |
| matita/matita/lib/re/lang.ma | diff | blob | history | |
| matita/matita/lib/re/moves.ma | diff | blob | history |