log lib/ur/basis.urs

age author description
Sat, 18 Jan 2014 18:26:24 -0500 Patrick Hurst Merge in upstream changes.