Mercurial > urweb
diff src/datatype_kind.sml @ 1975:0ee44375fe64
Rename datetime type to t in the .urs file.
author | Patrick Hurst <phurst@mit.edu> |
---|---|
date | Sun, 08 Dec 2013 03:25:31 -0500 |
parents | e0dd85ea58e1 |
children |
author | Patrick Hurst <phurst@mit.edu> |
---|---|
date | Sun, 08 Dec 2013 03:25:31 -0500 |
parents | e0dd85ea58e1 |
children |