projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 29 Oct 2007 16:13:47 +0000 (16:13 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 29 Oct 2007 16:13:47 +0000 (16:13 +0000) | ||
| commit | 48bd7e7514cf897ccdd068f12fcac16bbfb3c6ca | |
| tree | 45d389229421f6161c8b405d0bf9141ebd37da0a | tree | snapshot |
| parent | dd7cc333233142784767ba416d19195f84e281f3 | commit | diff |
| matita/matita.conf.xml.in | diff | blob | history |