Improvements for Mathemagix
commit787fa467df06f95091b7bb27d42fc7be0d9b594e
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Sat, 11 Jul 2009 13:28:06 +0000 (11 13:28 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Sat, 11 Jul 2009 13:28:06 +0000 (11 13:28 +0000)
treeaa0bc072659fde0b3d31c5ddae770c25b5394abf
parent38a4b0d92bbdcacd548b37eea0b6a09cc2a70e3a
Improvements for Mathemagix

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2745 64cb5145-927a-446d-8aed-2fb7b4773692
src/TeXmacs/packages/documentation/tmdoc-markup.ts
src/TeXmacs/packages/standard/std-fold.ts
src/TeXmacs/progs/dynamic/dynamic-drd.scm
src/plugins/mathemagix/packages/session/mathemagix.ts