| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix a nasty binding bug in CoreUtil |  Adam Chlipala | 2009-05-14 |
| | | |||
| * | Improving/reordering Unpoly and Especialize; pathmaps | Adam Chlipala | 2009-05-14 |
| | | |||
| * | listFun uses length | Adam Chlipala | 2008-10-21 |
| | | |||
| * | Crud listing IDs | Adam Chlipala | 2008-09-11 |
| | | |||
| * | Unpolyed a polymorphic function of two arguments | Adam Chlipala | 2008-09-11 |
| | | |||
| * | Unpoly non-recursive function | Adam Chlipala | 2008-09-11 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |