]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00676a8) | patch
added some comments, but the samentics of many functions is still unclear to me
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Apr 2008 08:59:02 +0000 (08:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Apr 2008 08:59:02 +0000 (08:59 +0000)
commitd030f02fa8a708cd663ffd0c5783770906b9b21a
tree3ba45a09f5a6d6a97cbf56a4c547cf4ce9c2d1dctree | snapshot
parent00676a80c190c829a85be5545a7cafe16384098fcommit | diff
added some comments, but the samentics of many functions is still unclear to me
helm/software/components/tactics/universe.ml diff | blob | history
helm/software/components/tactics/universe.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.