comparison CHANGELOG @ 1287:5137b0537c92

Polymorphic variants
author Adam Chlipala <adam@chlipala.net>
date Thu, 19 Aug 2010 17:28:52 -0400
parents 7d0254d15b21
children 41484478a32d
comparison
equal deleted inserted replaced
1286:829da30fb808 1287:5137b0537c92
1 ========
2 Next
3 ========
4
5 - Polymorphic variants (see Basis.variant)
6 - (* *) and <!-- --> comments in XML
7
1 ======== 8 ========
2 20100603 9 20100603
3 ======== 10 ========
4 11
5 - Changed URL escaping convention, to avoid confusing proxies. 12 - Changed URL escaping convention, to avoid confusing proxies.