Renamings
commit4a8e8328dd6c2fda75158763193f601847b915b7
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 19 Jan 2009 14:31:25 +0000 (19 14:31 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 19 Jan 2009 14:31:25 +0000 (19 14:31 +0000)
tree3cf4e969c6d909c9743df94e906a87501ca8c37c
parent9ef6b71dd1a12d16d25a8d54e6465d53b824754a
Renamings

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2545 64cb5145-927a-446d-8aed-2fb7b4773692
src/TeXmacs/progs/dynamic/session-edit.scm
src/TeXmacs/progs/dynamic/session-menu.scm
src/TeXmacs/progs/utils/plugins/plugin-cmd.scm
src/src/System/Link/connection.cpp