]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 7 Jul 2005 11:03:52 +0000 (11:03 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 7 Jul 2005 11:03:52 +0000 (11:03 +0000) | ||
commit | fe08f69d4efc18944ac9f114d2d5e3ee66dc38c1 | |
tree | 214701db697ac2e77230bd9b84e08f8316a32efa | tree | snapshot |
parent | b267219c702ccf60744f8044291ed9da4e80f7fa | commit | diff |
helm/matita/matitaGui.ml | diff | blob | history |