Minor improvements
commit4ed8389bf68169451da1b4327d76895cf0763791
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 4 Jul 2008 12:13:12 +0000 (4 12:13 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 4 Jul 2008 12:13:12 +0000 (4 12:13 +0000)
treeb889f32cfea7d1790824e69adc588789cf1de56e
parent752bcc6cdaa5c5553ff60cd33cc0d356cdf7e71e
Minor improvements

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2213 64cb5145-927a-446d-8aed-2fb7b4773692
src/TeXmacs/progs/convert/html/htmltm.scm
src/TeXmacs/styles/springer/svmono.ts
src/src/System/Misc/fast_alloc.cpp