| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | List.all; fix ANDALSO/ORELSE parsing precedence |  Adam Chlipala | 2009-06-07 |
| * | Fix unbound name problem in Jscomp injectors; more List stuff | Adam Chlipala | 2009-06-06 |
| * | List library additions; fix another substructure unification bug | Adam Chlipala | 2009-06-06 |
| * | Defer pattern-matching exhaustiveness checks and normalize pattern types more... | Adam Chlipala | 2009-05-30 |
| * | Fix EDLet elab_util bug | Adam Chlipala | 2009-05-28 |
| * | fn-pattern code in but not tested yet; hello compiles | Adam Chlipala | 2009-05-28 |
| * | Chars and more string operations | Adam Chlipala | 2009-05-26 |
| * | Change List.mapM' to avoid leaving functions around | Adam Chlipala | 2009-05-21 |
| * | Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering | Adam Chlipala | 2009-05-14 |
| * | Fix a nasty binding bug in CoreUtil | Adam Chlipala | 2009-05-14 |
| * | Improving/reordering Unpoly and Especialize; pathmaps | Adam Chlipala | 2009-05-14 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |