matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/library/coercGraph.ml

]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/library/coercGraph.ml

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 5dd5b3f) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 12 Dec 2005 14:06:26 +0000 (14:06 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 12 Dec 2005 14:06:26 +0000 (14:06 +0000)
commit	f4f050696e66b8604d9f0ff8173afe03addf74d6
tree	6336990758938b937bc50c461d28ed21a6e6f93b	tree \| snapshot
parent	5dd5b3f6cd990d4d126b44c092e1df7f86c506d4	commit \| diff

fixed undo support for coercions inside records

15 files changed:

helm/ocaml/extlib/hExtlib.ml		diff \| blob \| history
helm/ocaml/extlib/hExtlib.mli		diff \| blob \| history
helm/ocaml/grafite2/grafiteEngine.ml		diff \| blob \| history
helm/ocaml/grafite2/matitaSync.ml		diff \| blob \| history
helm/ocaml/grafite2/matitaSync.mli		diff \| blob \| history
helm/ocaml/library/.depend		diff \| blob \| history
helm/ocaml/library/Makefile		diff \| blob \| history
helm/ocaml/library/cicCoercion.ml	[new file with mode: 0644]	blob
helm/ocaml/library/cicCoercion.mli	[new file with mode: 0644]	blob
helm/ocaml/library/coercDb.ml		diff \| blob \| history
helm/ocaml/library/coercDb.mli		diff \| blob \| history
helm/ocaml/library/coercGraph.ml		diff \| blob \| history
helm/ocaml/library/coercGraph.mli		diff \| blob \| history
helm/ocaml/library/librarySync.ml		diff \| blob \| history
helm/ocaml/library/librarySync.mli		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.