log tests/autocomp.ur

age author description
2011-07-15 Adam Chlipala Fixes for detecting pastes and autocompletes for dynamic textboxes