]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matitaGuiTypes.mli
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / matita / matitaGuiTypes.mli
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ commit | commitdiff
2005-12-12 Stefano Zacchiroliadded contextual menu to act over selected terms commit | commitdiff
2005-12-09 Stefano Zacchiroliimplemented copy/cut/paste/delete/pastePattern commit | commitdiff
2005-12-02 Claudio Sacerdoti... 1. matitaEngine splitted into disambiguation (now in... commit | commitdiff
2005-11-29 Claudio Sacerdoti... * Part of matita that used to deal with the library... commit | commitdiff
2005-11-03 Stefano Zacchirolibetter dependencies among modules and symlinking of... commit | commitdiff
2005-10-25 Stefano Zacchirolinew tacticals commit | commitdiff
2005-07-28 Claudio Sacerdoti... The logo is now showed in the sequents_viewer window... commit | commitdiff
2005-07-28 Stefano Zacchiroli- re-factoring: dropped sequentViewer in favour of... commit | commitdiff
2005-07-28 Stefano Zacchiroliadded support for (textual) cut and paste of mathml... commit | commitdiff
2005-07-27 Stefano Zacchirolirefactored gui handling code so that MatitaMathView... commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.