Mercurial > urweb
diff lib/ur/list.urs @ 836:4083d0dff94c
Fix relative precedence of ; and case-stuff
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 02 Jun 2009 13:55:10 -0400 |
parents | d07980bf1444 |
children | b2413e4dd109 |
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 02 Jun 2009 13:55:10 -0400 |
parents | d07980bf1444 |
children | b2413e4dd109 |