| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Make summary unification more conservative; infer implicit arguments after ap... |  Adam Chlipala | 2009-12-26 |
| * | Adapted existing demos to tuple pattern-matching | Adam Chlipala | 2009-10-20 |
| * | Convert to requiring explicit 'rpc' marker | Adam Chlipala | 2009-08-22 |
| * | Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Mo... | Adam Chlipala | 2009-06-02 |
| * | Demo compiles with pattern-matching-fu | Adam Chlipala | 2009-05-28 |
| * | 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 |