]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d42f916) | patch
added preliminary support for maction
authorLuca Padovani <luca.padovani@unito.it>
Tue, 17 Jul 2001 13:47:13 +0000 (13:47 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 17 Jul 2001 13:47:13 +0000 (13:47 +0000)
commit1eedad0f656f0582871e2ce023f4923fc3a47de4
tree43bd0067e088f04caa08de4deda39066e480b78dtree | snapshot
parentd42f916052e67304e8b46e537b9a4bbaf2c2607ecommit | diff
added preliminary support for maction
- cursor bug
helm/helmpot/guiGTK.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.