]> matita.cs.unibo.it Git - helm.git/commit
Matitaweb: first attempt at web UI for disambiguation.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 24 Oct 2011 16:40:58 +0000 (16:40 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 24 Oct 2011 16:40:58 +0000 (16:40 +0000)
commit0e3d8e00433a9a4dd72310c1e889814848a96c10
tree4c036e4a6687929a13094f72583d08140dd6b6fc
parent988cf01c5bd740d6e75767327f201a3c43d635ed
Matitaweb: first attempt at web UI for disambiguation.
Also includes a rather radical change in the way the graphical layout is
handled.
matitaB/components/disambiguation/disambiguate.ml
matitaB/components/disambiguation/disambiguate.mli
matitaB/components/ng_disambiguation/grafiteDisambiguate.ml
matitaB/components/ng_disambiguation/grafiteDisambiguate.mli
matitaB/matita/index.html
matitaB/matita/matitadaemon.ml
matitaB/matita/matitaweb.css
matitaB/matita/matitaweb.js