Mercurial > urweb
log tests/tbody.urp
age | author | description |
---|---|---|
2009-06-13 | Adam Chlipala | <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls |
age | author | description |
---|---|---|
2009-06-13 | Adam Chlipala | <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls |