Renamings
commitd3a72b7785d279b1482cbdea99dfe9058d3de54d
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 19 Jan 2009 20:57:38 +0000 (19 20:57 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 19 Jan 2009 20:57:38 +0000 (19 20:57 +0000)
tree0f80bb42388d209b9bc2e29ec4b8e7d262d56381
parentfd600c8c15fe08f5cbe731da84442d73be49dc96
Renamings

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2553 64cb5145-927a-446d-8aed-2fb7b4773692
src/TeXmacs/progs/dynamic/session-edit.scm