# HG changeset patch # User Adam Chlipala # Date 1259074108 18000 # Node ID d73cf02427df37e12a03b5bc1a55bcae65e28067 # Parent a8a8258613976763b32d80154f3f0bbda1e1e81f New release diff -r a8a825861397 -r d73cf02427df CHANGELOG --- a/CHANGELOG Tue Nov 24 09:24:25 2009 -0500 +++ b/CHANGELOG Tue Nov 24 09:48:28 2009 -0500 @@ -1,3 +1,9 @@ +======== +20091124 +======== + +- Improved Internet Explorer compatibility + ======== 20091108 ======== diff -r a8a825861397 -r d73cf02427df src/monoize.sml --- a/src/monoize.sml Tue Nov 24 09:24:25 2009 -0500 +++ b/src/monoize.sml Tue Nov 24 09:48:28 2009 -0500 @@ -1,4 +1,4 @@ -(* Copyright (c) 2008, Adam Chlipala +(* Copyright (c) 2008-2009, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without