Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Start of user management | Adam Chlipala | 2009-10-20 |
* | Registering for Conference1 | Adam Chlipala | 2009-10-20 |
* | Add tuple pattern-matching at the constructor level | Adam Chlipala | 2009-10-20 |
index : debian-urweb | ||
Debian packaging for Ur/Web |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Start of user management | Adam Chlipala | 2009-10-20 |
* | Registering for Conference1 | Adam Chlipala | 2009-10-20 |
* | Add tuple pattern-matching at the constructor level | Adam Chlipala | 2009-10-20 |