| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | -dumpTypesOnError |  Adam Chlipala | 2012-05-05 |
| * | Send daemon output to calling process | Adam Chlipala | 2012-05-05 |
| * | 'urweb daemon start' and 'urweb daemon stop' | Adam Chlipala | 2012-04-29 |
| * | Initial support for reusing elaboration results | Adam Chlipala | 2012-04-29 |
| * | -unifyMore | Adam Chlipala | 2012-04-22 |
| * | '-dumpTypes' | Adam Chlipala | 2011-08-07 |
| * | Expose resolveClass from Elaborate |  Adam Chlipala | 2009-05-31 |
| * | Crud listing IDs | Adam Chlipala | 2008-09-11 |
| * | Separate compilation and automatic basis importation | Adam Chlipala | 2008-06-22 |
| * | Simple signature matching | Adam Chlipala | 2008-06-12 |
| * | Elaborating files | Adam Chlipala | 2008-01-26 |
| * | Rename Laconic* modules to Source* | Adam Chlipala | 2008-01-26 |
| * | Start of elaboration | Adam Chlipala | 2008-01-26 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |