log tests/window.urp

age author description
2012-06-02 Adam Chlipala Compiled a window function use