]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bf96cb) | patch
Better handling of idref propagation, no more Href hack, multiple idrefs are
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 14:17:34 +0000 (14:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 14:17:34 +0000 (14:17 +0000)
commit3065dd135001f868c677ee181d8a1fa3d498866a
tree5ef4af1ccc2e243197afb525f67446264bd2e268tree | snapshot
parent0bf96cb668cdd8d14b1c66f8a5241f12c5df9e3acommit | diff
Better handling of idref propagation, no more Href hack, multiple idrefs are
now kept at the Ast level.
Still issues in idref propagation for magics.
helm/ocaml/cic_notation/cicNotationMatcher.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationMatcher.mli diff | blob | history
helm/ocaml/cic_notation/cicNotationPp.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationPres.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationPt.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationRew.mli diff | blob | history
helm/ocaml/cic_notation/cicNotationUtil.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationUtil.mli diff | blob | history
helm/ocaml/cic_notation/grafiteAstPp.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.