Variants in mmxdoc mode
commitcdc0a8fc319144c345152d2ae636865d05b8f2f2
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 18 May 2009 16:25:13 +0000 (18 16:25 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 18 May 2009 16:25:13 +0000 (18 16:25 +0000)
tree2408c55aa1bc2b31d471f3e8551f0c09cf86a488
parentf11f9b9a999e3981f6700aac2a0fed20d4d83d11
Variants in mmxdoc mode

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2685 64cb5145-927a-446d-8aed-2fb7b4773692
src/TeXmacs/progs/doc/tmdoc-drd.scm
src/TeXmacs/progs/kernel/texmacs/tm-modes.scm