]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7d8c13) | patch
proof of concept implementation of cut and paste from gtkMathView to text
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 08:38:28 +0000 (08:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 08:38:28 +0000 (08:38 +0000)
commitcfd919846d9e9c437a017f67ea1993eff7ea8ee9
treeac2db95d9fc27c598cf69b9729c01655627aee9ftree | snapshot
parenta7d8c13a2309ca4de1b786c8eec14ea9d1e19d3ccommit | diff
proof of concept implementation of cut and paste from gtkMathView to text
(still via debug menu item "print selected terms")
helm/matita/matita.ml diff | blob | history
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitaMathView.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.