projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 25 May 2005 14:02:20 +0000 (14:02 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 25 May 2005 14:02:20 +0000 (14:02 +0000) | ||
| commit | 051722c687354888aebfefb1c5759e1a7fc224ab | |
| tree | d10aa4b7e6d5bc7c9fde088239aae7a1b462b648 | tree | snapshot |
| parent | ee0b2d8f1807f88af0ae0683908ffbfc78c4f34b | commit | diff |
| helm/matita/matita.glade | diff | blob | history |