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