annotate tests/headers.urp @ 1618:705cb41ac7d0

Update Coq semantics for 8.3pl2
author Adam Chlipala <adam@chlipala.net>
date Wed, 30 Nov 2011 15:28:56 -0500
parents 2f5fd248588d
children
rev   line source
adam@1465 1 rewrite url Headers/*
adam@1465 2 allow requestHeader User-Agent
adam@1465 3 allow responseHeader Location
adam@1465 4
adam@1465 5 headers