]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 083c4f0) | patch
Comment typo fixed.
authorMichele Galatà <??>
Thu, 29 Aug 2002 13:18:34 +0000 (13:18 +0000)
committerMichele Galatà <??>
Thu, 29 Aug 2002 13:18:34 +0000 (13:18 +0000)
commit72c9850370ab0e0b02b3d49a837dd442410f8ba6
tree47edaa47a4c4d605214bfb8b5ff0ce165ece9ba8tree | snapshot
parent083c4f014ec4ed17b33fef4a01efca2c72d85b06commit | diff
Comment typo fixed.
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.