Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Mark current as effectful; add List functions | Adam Chlipala | 2009-06-09 |
* | Fix datatype import bug in Elaborate; fix server-side source setting; more st... | Adam Chlipala | 2009-06-07 |
* | 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 |
* | 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 |
* | 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 |