]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb30142) | patch
- re-factoring: dropped sequentViewer in favour of cicMathView which
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 28 Jul 2005 17:00:00 +0000 (17:00 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 28 Jul 2005 17:00:00 +0000 (17:00 +0000)
commit39736960d48b9a19f3b7ca6e4d852a9dbcd4af76
tree274e80419a73fde07a486794b2bfaa618d8a358btree | snapshot
parentfb301428e2f9c762b98e2f64d5b948c99a30143dcommit | diff
- re-factoring: dropped sequentViewer in favour of cicMathView which
  handles rendering of both sequents and objects
- added preliminary support for selection in cicBrowser
  (there are still issues with phisical equality and multiple xrefs ...)
helm/matita/matita.ml diff | blob | history
helm/matita/matitaGuiTypes.mli diff | blob | history
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitaMathView.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.