2016-11-05から1日間の記事一覧
maxima.el には maxima-save-input-history という変数があり (setf maxima-save-input-history t)と設定しておけば、デフォルトでは "~/.maxima_history" にセッション終了時に入力を保存してくれる。 ただしセッション中には comint-history-isearch-backw…
maxima.el には maxima-save-input-history という変数があり (setf maxima-save-input-history t)と設定しておけば、デフォルトでは "~/.maxima_history" にセッション終了時に入力を保存してくれる。 ただしセッション中には comint-history-isearch-backw…