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