]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 975ad45) | patch
paste_unicode_as_tex is now false by default; moreover the flag is used
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jul 2007 10:19:28 +0000 (10:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jul 2007 10:19:28 +0000 (10:19 +0000)
commit871d9b1d66f79445e7afa6d42205aaf33576c4f0
treee54095bca9db26e26a7412a24f0b9384735fa976tree | snapshot
parent975ad45cc779a6bee3d450a006347cc23ca3977ecommit | diff
paste_unicode_as_tex is now false by default; moreover the flag is used
everywhere (but in patterns, I do not know why)
matita/matita.glade diff | blob | history
matita/matitaGui.ml diff | blob | history
matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.