2005-01-07 r73 Typing Ruby 再帰的でないSubtypeのチェックを少しだけ実装 エラーになるケースのテストが書いてない Makefileにsubst.mliを書くのを忘れてた Webページを多少修正 英語文を修正 日本語文を修正 SF.JPのプロジェクトWebページへのリンクを追加