Mercurial > urweb
comparison src/termination.sml @ 720:acb8537f58f0
Stop tracking CSS classes in XML types
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 12 Apr 2009 12:31:54 -0400 |
parents | 588b9d16b00a |
children | 7f871c03e3a1 |
comparison
equal
deleted
inserted
replaced
719:5c099b1308ae | 720:acb8537f58f0 |
---|