| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Basis and Top syntax-highlight, indent, parse, and type-check |  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 |
| * | Remove unneeded 'rec' in Reduce | Adam Chlipala | 2008-09-13 |
| * | foldTR2 | Adam Chlipala | 2008-09-13 |
| * | Fixed a mind-numbing De Bruijn bug | Adam Chlipala | 2008-09-11 |
| * | Crud listing IDs | Adam Chlipala | 2008-09-11 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |