]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a45b204) | 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)
commitd2c444ddd7e612809205894974fcd7fdddee6acf
tree9a89e566b5dae32132a27d48b8ae575b3887604atree | snapshot
parenta45b20401c52a767eb8fef71a72be6dc5db8a02acommit | 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).
helm/software/components/grafite_engine/grafiteEngine.ml diff | blob | history
helm/software/components/grafite_engine/grafiteSync.ml diff | blob | history
helm/software/components/grafite_engine/grafiteTypes.ml diff | blob | history
helm/software/components/grafite_engine/grafiteTypes.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.