comparison CHANGELOG @ 1259:83b1853d1e58

URL-escape with '.' instead of '%', to avoid confusing proxies
author Adam Chlipala <adamc@hcoop.net>
date Tue, 18 May 2010 14:47:56 -0400
parents 068f55543d03
children 04e9885cbe56
comparison
equal deleted inserted replaced
1258:78b36c50daf9 1259:83b1853d1e58
1 ========
2 Next
3 ========
4
5 - Changed URL escaping convention, to avoid confusing proxies.
6 The new convention is like the normal one, but with '.' instead of '%'.
7
1 ======== 8 ========
2 20100506 9 20100506
3 ======== 10 ========
4 11
5 - New experimental checker for information flow and access control policies 12 - New experimental checker for information flow and access control policies