]> matita.cs.unibo.it Git - helm.git/commit
the same utf8 bug as before
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 14 Apr 2006 10:13:07 +0000 (10:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 14 Apr 2006 10:13:07 +0000 (10:13 +0000)
commita89868740968d139dd4e1d621663bcd4d69d0265
tree57fc551a5f3ca90fa1c026fb4b77e370dcb8d0fe
parent07a798607400b0ae70871b201592ae6286118cdb
the same utf8 bug as before
helm/software/matita/matitaGui.ml