projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 6 Jan 2013 20:09:18 +0000 (20:09 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 6 Jan 2013 20:09:18 +0000 (20:09 +0000) | ||
| commit | 0c20479c04748438ccdba89a8f11d68c52012c92 | |
| tree | caef4737a6ba4b24637ae43bcd75ba6303071ec2 | tree | snapshot |
| parent | 5c792a695677f2857e1984ababc9998d42fc8033 | commit | diff |
| matita/components/ng_kernel/.depend | diff | blob | history | |
| matita/components/ng_kernel/.depend.opt | diff | blob | history |