]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99b249b) | patch
bugfix: tactic invocations from contextual menu no longer generate content out of...
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Dec 2005 16:20:26 +0000 (16:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Dec 2005 16:20:26 +0000 (16:20 +0000)
commit2765b4ab727995efeebb972973d6032b06095845
treeb9beeb7222091fce11a8d8c7b462fe2c24c9d838tree | snapshot
parent99b249b23524cda2d91602ee088fef1a7be253eecommit | diff
bugfix: tactic invocations from contextual menu no longer generate content out of sync wrt locked mark
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.