| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Sum demo, minus inference of {Unit}s |  Adam Chlipala | 2008-10-21 |
| * | top.urs indents and type-checks with new twiddle syntax | Adam Chlipala | 2008-10-12 |
| * | Merge CDisjoint and TDisjoint | Adam Chlipala | 2008-10-04 |
| * | Crud update form | Adam Chlipala | 2008-09-14 |
| * | Crud supports INSERT | Adam Chlipala | 2008-09-14 |
| * | Crud gets column headings | Adam Chlipala | 2008-09-13 |
| * | queryX | Adam Chlipala | 2008-09-13 |
| * | foldTRX2 | Adam Chlipala | 2008-09-13 |
| * | foldTR2 | Adam Chlipala | 2008-09-13 |
| * | Crud listing IDs | Adam Chlipala | 2008-09-11 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |