log lib/ur/option.urs

age author description
2009-12-12 Adam Chlipala Checked-ness of radio options; Option.get
2009-09-19 Adam Chlipala Grid sorting working
2009-09-15 Adam Chlipala Filters implementation type-checking
2009-06-09 Adam Chlipala Some standard library reorgs and additions; handle mutual datatypes better in Specialize
2009-06-07 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
2009-06-07 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable