]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d43bf5c) | patch
enable selections and href handling on elements having href and no xref, this
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Sep 2005 08:44:57 +0000 (08:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Sep 2005 08:44:57 +0000 (08:44 +0000)
commit33dd8006a7e0eb9c6c2a93b4d98c8ef88d2d49d1
treeffdcc443048a69d4e262ce828b6e015ce8abd4b7tree | snapshot
parentd43bf5cc314729905d4b65d51f0c1a6438e091a5commit | diff
enable selections and href handling on elements having href and no xref, this
permits selecting/following links on case pattern heads and outtype
helm/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.