Mercurial > cpdt > repo
log
age | author | description |
---|---|---|
Mon, 01 Sep 2008 10:00:09 -0400 | Adam Chlipala | Why not Agda/Epigram? |
Mon, 01 Sep 2008 09:27:25 -0400 | Adam Chlipala | Placeholders to create html and latex directories |
age | author | description |
---|---|---|
Mon, 01 Sep 2008 10:00:09 -0400 | Adam Chlipala | Why not Agda/Epigram? |
Mon, 01 Sep 2008 09:27:25 -0400 | Adam Chlipala | Placeholders to create html and latex directories |