Fixes for Maxima
commitda0e852a6f801ccc9b016d640ab9668c6eb9eee7
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 29 Aug 2008 08:48:07 +0000 (29 08:48 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 29 Aug 2008 08:48:07 +0000 (29 08:48 +0000)
treeeb5b124fb501be8f88a102484a30a601b0d719e7
parent82c9f84e80a86da919e2bdf5231152b15c7280d7
Fixes for Maxima

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2237 64cb5145-927a-446d-8aed-2fb7b4773692
src/plugins/maxima/bin/maxima_detect
src/plugins/maxima/bin/tm_maxima