]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfb2952) | patch
expand ligatures after \n too
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 5 Jan 2009 16:06:53 +0000 (16:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 5 Jan 2009 16:06:53 +0000 (16:06 +0000)
commit96a8f10324c1358a82f5085dcaf3a30a7cbec390
treeb634e70762305bbe086a4f051a1d26ebcb8af5abtree | snapshot
parentcfb29525a97a9506b8200934b28ff34a30aa516bcommit | diff
expand ligatures after \n too
helm/software/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.