]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95e23a7) | patch
added support for expansion of ligatures ALT-L will trigger it
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 14:03:06 +0000 (14:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 14:03:06 +0000 (14:03 +0000)
commit215cb34e905e846d37c873224df1ec30bf81ba87
treea12039f450b0e1ecd1e5c04c6c06f7d50c990fe1tree | snapshot
parent95e23a75677e51444fdef6aaff7a01511756119ccommit | diff
added support for expansion of ligatures ALT-L will trigger it
helm/matita/matita.glade diff | blob | history
helm/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.