# HG changeset patch # User Adam Chlipala # Date 1388504930 18000 # Node ID b3c8860508eaa7ac544df729a60b72daa473dd20 # Parent d7bec4e63415d0544701cd46e52553d487dc4e4c New release diff -r d7bec4e63415 -r b3c8860508ea CHANGELOG --- a/CHANGELOG Tue Dec 31 09:34:41 2013 -0500 +++ b/CHANGELOG Tue Dec 31 10:48:50 2013 -0500 @@ -1,3 +1,15 @@ +======== +20131231 +======== + +- Performance optimizations for Ur/Web's standalone HTTP servers +- New command-line options for those servers: '-k' and '-q' +- New HTML pseudo-tag: