| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Datatypes through corify |  Adam Chlipala | 2008-07-29 |
| * | Datatype import signature-matches abstract datatype | Adam Chlipala | 2008-07-24 |
| * | Abstracting datatypes with signature ascription | Adam Chlipala | 2008-07-24 |
| * | More datatype module stuff | Adam Chlipala | 2008-07-24 |
| * | Basic datatype importing works | Adam Chlipala | 2008-07-24 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |