Public Git Hosting - texmacs.git/commit

commit	cc060e3b56a39e903ffa44d989eed94f667cc22b
author	vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
	Thu, 15 Jul 2010 13:09:52 +0000 (15 13:09 +0000)
committer	vdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
	Thu, 15 Jul 2010 13:09:52 +0000 (15 13:09 +0000)
tree	2d0da41d23eab98b1f087bb875a13116352df221	tree \| snapshot (tar.gz zip)
parent	94144fb3d00c9f481b2509e67d4d5faa45cb5d19	commit \| diff

Nicer menu with debugging options

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2999 64cb5145-927a-446d-8aed-2fb7b4773692

src/TeXmacs/progs/init-texmacs.scm		diff \| blob \| blame \| history
src/TeXmacs/progs/kernel/texmacs/tm-modes.scm		diff \| blob \| blame \| history
src/TeXmacs/progs/texmacs/menus/debug-menu.scm	[new file with mode: 0644]	blob
src/TeXmacs/progs/texmacs/menus/main-menu.scm		diff \| blob \| blame \| history
src/TeXmacs/progs/texmacs/menus/preferences-menu.scm		diff \| blob \| blame \| history
src/TeXmacs/progs/texmacs/menus/tools-menu.scm		diff \| blob \| blame \| history
src/TeXmacs/progs/texmacs/texmacs/tm-server.scm		diff \| blob \| blame \| history
src/src/Guile/Glue/build-glue-basic.scm		diff \| blob \| blame \| history
src/src/Guile/Glue/glue_basic.cpp		diff \| blob \| blame \| history
src/src/Kernel/Abstractions/basic.cpp		diff \| blob \| blame \| history
src/src/Kernel/Abstractions/basic.hpp		diff \| blob \| blame \| history