]> matita.cs.unibo.it Git - helm.git/commit
undo/serialization for universes implemented
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 23 Jun 2009 16:00:55 +0000 (16:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 23 Jun 2009 16:00:55 +0000 (16:00 +0000)
commit2338b758114eb40daf3fadf4fb016a9a1af541b6
tree29c838a4de0293167ad9c5d310a8f69b4b07a606
parentbbbf8a74bd5a272673c8687fdf2fc5eb9867853b
undo/serialization for universes implemented
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/nCicEnvironment.mli
helm/software/components/ng_kernel/nCicLibrary.ml
helm/software/components/ng_kernel/nCicLibrary.mli