| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |