projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 6 Jan 2008 23:05:46 +0000 (23:05 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sun, 6 Jan 2008 23:05:46 +0000 (23:05 +0000) | ||
| commit | b066ec682141c7c41d77e80d70c71aeadd1f1ab3 | |
| tree | f8a53557dbb362bd491789e250b049deb2213d55 | tree | snapshot |
| parent | 8cd018c9a1bfb5539b046526a9d5108cf386c5b2 | commit | diff |
| matita/matitac.ml | diff | blob | history |