]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b70abde) | patch
Bug solved: X-style paste (i.e. paste of the PRIMARY selection using the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Jul 2005 17:16:17 +0000 (17:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Jul 2005 17:16:17 +0000 (17:16 +0000)
commita7f186ba154eae6a0e3fd61ecd6d1112daa994da
tree7d981ec355b8e66bc388c45f42ca7c3320f1e422tree | snapshot
parentb70abde9c51e11d5f7619ece3769e95d43211018commit | diff
Bug solved: X-style paste (i.e. paste of the PRIMARY selection using the
second mouse button) used to paste locked text as locked text.
helm/matita/matita.txt diff | blob | history
helm/matita/matitaGui.ml diff | blob | history
helm/matita/matitaScript.ml diff | blob | history
helm/matita/matitaScript.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.