Changes to Coq2Scala
- 2012-11-20 02:09:23 UTC ( ): まだ8.4は早い
- 2012-08-31 08:01:55 UTC ( ): how to install
- 2012-05-28 05:49:51 UTC ( ): algorithm M'_annot
- 2012-03-29 02:45:53 UTC ( ): coq in coq のリポジトリへのリンク
- 2012-03-13 05:32:57 UTC ( ): パッチ
- 2012-03-13 04:11:19 UTC ( ): add kyoho san as an author.
- 2012-02-02 03:16:50 UTC ( ): hashtag's link
- 2012-01-31 15:42:09 UTC ( ): Fix. Link for english
- 2012-01-31 10:21:19 UTC ( ): リンクを追加
- 2012-01-31 08:31:36 UTC ( ): インストール方法の記述
- 2011-12-09 08:50:39 UTC ( ): cofix
- 2011-12-09 01:04:21 UTC ( ): coqincoq
- 2011-12-02 06:05:49 UTC ( ): fix
- 2011-12-02 04:47:32 UTC ( ): coq2scalaの紹介
- 2011-10-18 20:59:23 UTC ( ): 説明の追加
- 2011-09-26 13:35:49 UTC ( ): add link
- 2011-09-26 13:34:42 UTC ( ): create coq2scala page