]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4027d61) | patch
now tables are recreated if needed and mattiaclean all really clears the owner env...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 7 Jul 2005 09:31:41 +0000 (09:31 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 7 Jul 2005 09:31:41 +0000 (09:31 +0000)
commit64de8737135a82d968572abb5a7456b6e3bc28ef
tree3a3c095e7240ddbc6cda9705546da429ae8a54e7tree | snapshot
parent4027d612bc9c0a38fac53666a21e390683c5076dcommit | diff
now tables are recreated if needed and mattiaclean all really clears the owner env (purging tables that will be recreated by matita/c)
helm/matita/matitaDb.ml diff | blob | history
helm/matita/matitaDb.mli diff | blob | history
helm/matita/matitaclean.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.