]> matita.cs.unibo.it Git - helm.git/commit
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
treea12039f450b0e1ecd1e5c04c6c06f7d50c990fe1
parent95e23a75677e51444fdef6aaff7a01511756119c
added support for expansion of ligatures ALT-L will trigger it
helm/matita/matita.glade
helm/matita/matitaGui.ml