]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54bd258) | patch
The status has been extended with a "universe", that is a
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 23 Nov 2006 14:06:57 +0000 (14:06 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 23 Nov 2006 14:06:57 +0000 (14:06 +0000)
commit67cf4ce16c346991c8eda71576414f5c6324ab82
tree80993ac9740510c719b8857c0f553675bb1f7feftree | snapshot
parent54bd25811bc80555936eebaf95b137857f6db06acommit | diff
The status has been extended with a "universe", that is a
discrimination-tree structure indexing all defined objects.
The universe is functional (hope so).
components/grafite_engine/grafiteEngine.ml diff | blob | history
components/grafite_engine/grafiteSync.ml diff | blob | history
components/grafite_engine/grafiteTypes.ml diff | blob | history
components/grafite_engine/grafiteTypes.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.