| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Allow type class instances with hypotheses via local ('let') definitions |  Adam Chlipala | 2012-07-25 |
| | | |||
| * | Try harder to place wildified 'con' declarations properly |  Adam Chlipala | 2010-06-01 |
| | | |||
| * | Laconic -> Ur | Adam Chlipala | 2008-08-31 |
| | | |||
| * | XML tags with contents | Adam Chlipala | 2008-07-03 |
| | | |||
| * | Parsing signature files | Adam Chlipala | 2008-06-22 |
| | | |||
| * | Rename Laconic* modules to Source* | Adam Chlipala | 2008-01-26 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |