]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 26 Jul 2007 13:47:07 +0000 (13:47 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Thu, 26 Jul 2007 13:47:07 +0000 (13:47 +0000) | ||
commit | 0098ba116b41b7fe07532482de5a1c86f1fbf926 | |
tree | dd970e3c431d8983724861f7d1d0179caf069c66 | tree | snapshot |
parent | d9c6297b91260edcba1f51b03e534538bd8ccc40 | commit | diff |
matita/matitaGui.ml | diff | blob | history | |
matita/matitamakeLib.ml | diff | blob | history | |
matita/matitamakeLib.mli | diff | blob | history |