Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Adapted existing demos to tuple pattern-matching | Adam Chlipala | 2009-10-20 |
| | |||
* | Enhance table sig item support and get demo compiling again | Adam Chlipala | 2009-04-07 |
| | |||
* | BatchG demo | Adam Chlipala | 2009-03-10 |
index : debian-urweb | ||
Debian packaging for Ur/Web |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Adapted existing demos to tuple pattern-matching | Adam Chlipala | 2009-10-20 |
| | |||
* | Enhance table sig item support and get demo compiling again | Adam Chlipala | 2009-04-07 |
| | |||
* | BatchG demo | Adam Chlipala | 2009-03-10 |