source.html
changeset 16 77b8999a67d6
parent 15 f9b794dcc21f
child 17 f2ae34aef445
--- a/source.html	Wed Jul 04 15:20:42 2012 -0700
+++ b/source.html	Wed Jul 04 15:23:45 2012 -0700
@@ -10,7 +10,7 @@
 <div class="head">
 <h1>UndoManager and DOM Transaction</h1>
 
-<h2 class="no-num no-toc">Editor's draft — 8 June 2012</h2>
+<h2 class="no-num no-toc">Editor's draft — 4 July 2012</h2>
 
 <dl>
 <dt>Editor:</dt>
@@ -26,6 +26,8 @@
 http://dvcs.w3.org/hg/undomanager/raw-file/tip/undomanager.html</a></dd>
 
 <dt>Previous versions:</dt>
+<dd><a href="http://dvcs.w3.org/hg/undomanager/raw-file/3fbf142909a7/undomanager.html">
+http://dvcs.w3.org/hg/undomanager/raw-file/3fbf142909a7/undomanager.html</a> (8 June 2012)</dd>
 <dd><a href="http://dvcs.w3.org/hg/undomanager/raw-file/17a725399127/undomanager.html">
 http://dvcs.w3.org/hg/undomanager/raw-file/17a725399127/undomanager.html</a> (29 May 2012)</dd>
 <dd><a href="http://rniwa.com/editing/undomanager-2011-03-27.html">