Further changes for version 1.0.7.5
commit80d249e717d5a1093fb4b42d567ffe33287632ac
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Tue, 20 Jul 2010 08:13:34 +0000 (20 08:13 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Tue, 20 Jul 2010 08:13:34 +0000 (20 08:13 +0000)
treef9dc87d33cedd901c071d0f47e995aea38b643db
parent00ec081603cda3bdd488d1580919612c9f0676e2
Further changes for version 1.0.7.5

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@3019 64cb5145-927a-446d-8aed-2fb7b4773692
doc/about/changes/change-log.en.tm