Merge branch 'master' of ssh://www.j8takagi.net:32790/home/git/yacasl2
[YACASL2.git] / doc / casl2_spec / Makefile
2014-06-17 j8takagiMakefileの整理
2014-06-17 j8takagiTexinfoの依存関係を表す.dファイルを自動作成する機能を追加
2014-06-17 j8takagiCASL II仕様書を独立したディレクトリーに配置