]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/dump_moo.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a149d2) | patch
added contextual menu to act over selected terms
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Dec 2005 16:02:51 +0000 (16:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Dec 2005 16:02:51 +0000 (16:02 +0000)
commit99b249b23524cda2d91602ee088fef1a7be253ee
tree2c094800f631fde2f0eb30fdb64e27973de65e63tree | snapshot
parent6a149d262dfcb03a7d57f8ecabf23b0b59e99f85commit | diff
added contextual menu to act over selected terms
work in progress: still bugged wrt the locked mark of matitaScript
helm/matita/dump_moo.ml diff | blob | history
helm/matita/matita.ml diff | blob | history
helm/matita/matitaGui.ml diff | blob | history
helm/matita/matitaGuiTypes.mli diff | blob | history
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitaScript.ml diff | blob | history
helm/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.