]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07a7986) | patch
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
tree57fc551a5f3ca90fa1c026fb4b77e370dcb8d0fetree | snapshot
parent07a798607400b0ae70871b201592ae6286118cdbcommit | diff
the same utf8 bug as before
helm/software/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.