Blob Blame History Raw
diff -up TeXmacs-1.0.6.11-src/plugins/maxima/bin/maxima_detect.maxima TeXmacs-1.0.6.11-src/plugins/maxima/bin/maxima_detect
--- TeXmacs-1.0.6.11-src/plugins/maxima/bin/maxima_detect.maxima	2007-10-08 14:27:39.000000000 +0200
+++ TeXmacs-1.0.6.11-src/plugins/maxima/bin/maxima_detect	2007-10-08 14:28:10.000000000 +0200
@@ -61,9 +61,10 @@ version 5.9.2
 version 5.9.3
 version 5.10
 version 5.11
-version 5.12" >/dev/null
+version 5.12
+version 5.13" >/dev/null
         then
-          # 5.9.1 or 5.9.2 or 5.9.3 or 5.10 or 5.11 or 5.12
+          # 5.9.1 or 5.9.2 or 5.9.3 or 5.10 or 5.11 or 5.12 or 5.13
           maxima -d | grep -F 'maxima-htmldir=' | sed -e \
           's/maxima-htmldir=/"/' -e 's|$|/maxima_toc.html"|'
         else
diff -up TeXmacs-1.0.6.11-src/plugins/maxima/bin/tm_maxima.maxima TeXmacs-1.0.6.11-src/plugins/maxima/bin/tm_maxima
--- TeXmacs-1.0.6.11-src/plugins/maxima/bin/tm_maxima.maxima	2007-10-08 14:28:22.000000000 +0200
+++ TeXmacs-1.0.6.11-src/plugins/maxima/bin/tm_maxima	2007-10-08 14:28:38.000000000 +0200
@@ -17,7 +17,7 @@ case $1 in
   5.9.1) exec maxima -u $1 -l $2 -p "$TEXMACS_MAXIMA_PATH/texmacs-maxima-5.9.1.lisp";;
   5.9.1.1* | 5.9.2* | 5.9.3*) exec maxima -u $1 -l $2 -p "$TEXMACS_MAXIMA_PATH/texmacs-maxima-5.9.2.lisp";;
   5.10.*) exec maxima -u $1 -l $2 -p "$TEXMACS_MAXIMA_PATH/texmacs-maxima-5.10.0.lisp";;
-  5.11.* | 5.12.*) exec maxima -u $1 -l $2 -p "$TEXMACS_MAXIMA_PATH/texmacs-maxima-5.11.0.lisp";;
+  5.11.* | 5.12.* | 5.13.*) exec maxima -u $1 -l $2 -p "$TEXMACS_MAXIMA_PATH/texmacs-maxima-5.11.0.lisp";;
   cygwin)
     exec maxima.bat -p "`echo $TEXMACS_MAXIMA_PATH/texmacs-maxima-5.11.0.lisp|cygpath --windows -f -`";;
   *) echo -e "\2latex:\\red Unsupported version of maxima: $1\5"