http://maxima.osdn.jp/maxima.html のソース(texiファイル)です。
このスクリプトでmaximaが更新された時、英語マニュアル(texi)のdiffを取ります。 そのdiffを見ながら日本語マニュアルを更新していました。
Maxima本家と同じものです。
http://maxima.osdn.jp/maxima.html のソース(texiファイル)です。
このスクリプトでmaximaが更新された時、英語マニュアル(texi)のdiffを取ります。 そのdiffを見ながら日本語マニュアルを更新していました。
Maxima本家と同じものです。