]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3065dd1) | patch
changed type of ids_to_uris table to (Cic.id, UriManager.uri) Hashtbl.t
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 14:22:15 +0000 (14:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 14:22:15 +0000 (14:22 +0000)
commite935206addabeeaaf03b060154335e5c3c24553a
treeba5abb31def2b5f44a06df9f753a4251cbebb22ctree | snapshot
parent3065dd135001f868c677ee181d8a1fa3d498866acommit | diff
changed type of ids_to_uris table to (Cic.id, UriManager.uri) Hashtbl.t
(uris are no longer strings)
helm/ocaml/cic_notation/cicNotationPres.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationPres.mli diff | blob | history
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationRew.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.