Mercurial > urweb
diff src/mono_print.sml @ 1921:312b62cdaa48
Add 'xhead' case to Monoize
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 06 Dec 2013 08:44:26 -0500 |
parents | e15234fbb163 |
children | 98895243b5b6 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 06 Dec 2013 08:44:26 -0500 |
parents | e15234fbb163 |
children | 98895243b5b6 |