html5/pubnotes ChangeLog,NONE,1.1 Makefile,1.3,1.4

Update of /sources/public/html5/pubnotes
In directory hutz:/tmp/cvs-serv5425

Modified Files:
	Makefile 
Added Files:
	ChangeLog 
Log Message:
added rule for writing ChangeLog file and checked in ChangeLog


Index: Makefile
===================================================================
RCS file: /sources/public/html5/pubnotes/Makefile,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- Makefile	12 May 2008 19:18:44 -0000	1.3
+++ Makefile	6 Jun 2008 10:34:44 -0000	1.4
@@ -3,8 +3,15 @@
 XSLTPROC=xsltproc
 XSLTPROCFLAGS=--nodtdattr
 XSLTSTYLESHEET=specgen.xsl
+CVS2CL=cvs2cl
+CVS2CLFLAGS=-r
 
 all: Overview.html
 
+c: ChangeLog
+
+ChangeLog: Overview.html
+	$(CVS2CL) $(CVS2CLFLAGS)
+
 %.html: %.src.html $(XSLTSTYLESHEET)
 	$(PARSE) $(PARSEFLAGS) $< | $(XSLTPROC) $(XSLTPROCFLAGS) $(XSLTSTYLESHEET) - > $@

--- NEW FILE: ChangeLog ---
2008-06-05 19:33  mike

	* Overview.html (1.225), Overview.src.html (1.219): fixed another
	  -1 error in the section for the tr element

2008-06-05 16:59  mike

	* Overview.html (1.224), Overview.src.html (1.218): removed some
	  stuff about tbody that was wrong (thanks Yakura); removed some
	  duplicated IDs (thanks validator.nu & Henri)

2008-05-29 23:29  mike

	* Overview.html (1.223), Overview.src.html (1.217): added
	  defaultCharset & readyState to list of DOM attributes that got
	  added to HTMLDocument interface description; changed sole [moved]
	  instance in the doc to a [now N.N] instance (thanks AVK)

2008-05-29 22:45  mike

	* Overview.html (1.222), Overview.src.html (1.216): made
	  addition/refinement from AVK

2008-05-29 20:23  mike

	* Overview.html (1.221), Overview.src.html (1.215): fixed typo
	  (thanks to Yakura)

2008-05-29 15:29  mike

	* Overview.html (1.220), Overview.src.html (1.214): r1.900:
	  "Mention that for rel=icon UAs should also use type=''; mention
	  what to do when an icon sucks; mention how to handle missing
	  sizes=''. (whatwg r1713)"

2008-05-29 15:12  mike

	* Overview.src.html (1.213), Overview.html (1.219): r1.899: "Make
	  rel=icon use the last icon for compatibility with legacy UAs."

2008-05-29 15:05  mike

	* Overview.html (1.218), Overview.src.html (1.212): r1.898:
	  "Commenting out rel=contact since it clashes with XFN. (whatwg
	  r1711)"

2008-05-29 14:56  mike

	* Overview.html (1.217), Overview.src.html (1.211): r1.896: "Make
	  data-='' invalid. (whatwg r1709)"

2008-05-29 14:43  mike

	* Overview.html (1.216), Overview.src.html (1.210): r1.895-r1708:
	  "Bring the definition of rel=nofollow more into line with the way
	  it is used."

2008-05-29 14:31  mike

	* Overview.html (1.215), Overview.src.html (1.209): r1.894-r1706:
	  "Discuss the difference between rel='' on <link> and <a>."

2008-05-29 14:22  mike

	* Overview.html (1.214), Overview.src.html (1.208): r1.892-r1704:
	  <ruby> support. This isn't very compatible with IE, but it seems
	  to be relatively compatible with the Web's usage of ruby.

2008-05-29 13:33  mike

	* Overview.html (1.213), Overview.src.html (1.207): r1.890-r1702

2008-05-26 16:04  mike

	* Overview.html (1.212), Overview.src.html (1.206): r1701 - r1.889:
	  Shun UTF-32. Make it slightly clearer what 'UTF-16' means.

2008-05-26 13:24  mike

	* Overview.html (1.211), Overview.src.html (1.205): r1699 - r1.887,
	  "Allow <textarea> to bail out of <select> for compatibility with
	  legacy content. (webkit bug 17421)"

2008-05-26 13:09  mike

	* Overview.html (1.210), Overview.src.html (1.204): r1692 - r1.880,
	  "Allow <noframes> in <head> for compatibility with sites (e.g.
	  http://www.zercom.nl/)."

2008-05-26 12:47  mike

	* Overview.html (1.209), Overview.src.html (1.203): updated to
	  r1691 - r.1.879, "Factor out foster parenting to ensure it is not
	  ambiguous."

2008-05-24 13:23  mike

	* ED-2008-05-24_13.03JST.html (1.1), Overview.html (1.208),
	  Overview.src.html (1.202): r1690

2008-05-24 10:13  mike

	* Overview.html (1.207), Overview.src.html (1.201): bring up to
	  date with r1689, "Make 'missing' and 'empty' even more different"

2008-05-24 02:55  mike

	* Overview.html (1.205), Overview.src.html (1.199), Overview.html
	  (1.206), Overview.src.html (1.200): checkpointing

2008-05-24 02:51  mike

	* Overview.html (1.203), Overview.src.html (1.197), Overview.html
	  (1.204), Overview.src.html (1.198): checkpointing

2008-05-24 02:47  mike

	* Overview.html (1.200), Overview.src.html (1.194), Overview.html
	  (1.201), Overview.src.html (1.195), Overview.html (1.202),
	  Overview.src.html (1.196): checkpointing

2008-05-24 02:44  mike

	* Overview.html (1.198), Overview.src.html (1.192), Overview.html
	  (1.199), Overview.src.html (1.193): checkpointing

2008-05-24 02:39  mike

	* Overview.html (1.196), Overview.src.html (1.190), Overview.html
	  (1.197), Overview.src.html (1.191): checkpointing

2008-05-24 02:35  mike

	* Overview.html (1.195), Overview.src.html (1.189): checkpointing

2008-05-24 02:32  mike

	* Overview.html (1.194), Overview.src.html (1.188): checkpointing

2008-05-24 02:28  mike

	* Overview.html (1.193), Overview.src.html (1.187): checkpointing

2008-05-24 02:10  mike

	* Overview.html (1.192), Overview.src.html (1.186): checkpointing

2008-05-24 02:06  mike

	* Overview.html (1.191), Overview.src.html (1.185): checkpointing

2008-05-24 01:54  mike

	* Overview.html (1.189), Overview.src.html (1.183), Overview.html
	  (1.190), Overview.src.html (1.184): checkpointing

2008-05-24 01:51  mike

	* style.css (1.59), style.css (1.60): checkpointing

2008-05-24 01:46  mike

	* Overview.html (1.187), Overview.src.html (1.181), Overview.html
	  (1.188), Overview.src.html (1.182): checkpointing

2008-05-24 01:42  mike

	* Overview.html (1.185), Overview.src.html (1.179), Overview.html
	  (1.186), Overview.src.html (1.180): checkpointing

2008-05-24 01:37  mike

	* Overview.src.html (1.178): final first draft

2008-05-24 01:23  mike

	* Overview.html (1.184), Overview.src.html (1.177): checkpointing

2008-05-24 01:10  mike

	* Overview.html (1.182), Overview.src.html (1.175), Overview.html
	  (1.183), Overview.src.html (1.176): checkpointing

2008-05-24 00:39  mike

	* Overview.html (1.181), Overview.src.html (1.174): checkpointing

2008-05-24 00:19  mike

	* Overview.html (1.180), Overview.src.html (1.173): checkpointing

2008-05-23 23:44  mike

	* Overview.html (1.179), Overview.src.html (1.172): checkpointing

2008-05-23 22:43  mike

	* Overview.html (1.176), Overview.src.html (1.169), Overview.html
	  (1.177), Overview.src.html (1.170), Overview.html (1.178),
	  Overview.src.html (1.171): checkpointing

2008-05-23 22:34  mike

	* Overview.html (1.175), Overview.src.html (1.168): checkpointing

2008-05-23 21:41  mike

	* Overview.html (1.174), Overview.src.html (1.167): checkpointing

2008-05-23 21:13  mike

	* Overview.html (1.173), Overview.src.html (1.166): checkpointing

2008-05-23 20:52  mike

	* Overview.html (1.172), Overview.src.html (1.165): checkpointing

2008-05-23 20:45  mike

	* Overview.html (1.171), Overview.src.html (1.164): checkpointing

2008-05-23 20:39  mike

	* Overview.html (1.170), Overview.src.html (1.163): checkpointing

2008-05-23 20:30  mike

	* ED-20080515-20080523-DIFF.html (1.2), Overview.html (1.169),
	  Overview.src.html (1.162): checkpointing

2008-05-23 20:05  mike

	* ED-20080515-20080523-DIFF.html (1.1): initial add

2008-05-23 19:59  mike

	* Overview.html (1.168), Overview.src.html (1.161): all sections
	  complete up through 2008-05-15

2008-05-23 19:57  mike

	* ED-2008-05-23-19:51JST.html (1.1): initial add

2008-05-23 19:38  mike

	* Overview.html (1.167), Overview.src.html (1.160): checkpointing

2008-05-23 16:34  mike

	* Overview.html (1.166), Overview.src.html (1.159): checkpointing

2008-05-23 16:20  mike

	* Overview.html (1.165), Overview.src.html (1.158): checkpointing

2008-05-23 15:36  mike

	* Overview.html (1.164), Overview.src.html (1.157): checkpointing

2008-05-23 15:25  mike

	* Overview.html (1.163), Overview.src.html (1.156): checkpointing

2008-05-23 15:18  mike

	* Overview.html (1.161), Overview.src.html (1.154), Overview.html
	  (1.162), Overview.src.html (1.155): checkpointing

2008-05-23 15:13  mike

	* Overview.html (1.160), Overview.src.html (1.153): checkpointing

2008-05-23 15:04  mike

	* Overview.html (1.159), Overview.src.html (1.152): checkpointing

2008-05-23 14:49  mike

	* Overview.src.html (1.150), Overview.html (1.158),
	  Overview.src.html (1.151): checkpointing

2008-05-23 14:46  mike

	* Overview.html (1.156), Overview.src.html (1.149), Overview.html
	  (1.157): checkpointing

2008-05-23 14:37  mike

	* Overview.html (1.155), Overview.src.html (1.148): checkpointing

2008-05-23 12:55  mike

	* Overview.html (1.152), Overview.src.html (1.145), Overview.html
	  (1.153), Overview.src.html (1.146), Overview.html (1.154),
	  Overview.src.html (1.147): checkpointing

2008-05-23 12:50  mike

	* Overview.html (1.151), Overview.src.html (1.144): checkpointing

2008-05-23 11:35  mike

	* Overview.html (1.150), Overview.src.html (1.143): checkpointing

2008-05-21 23:46  mike

	* Overview.html (1.148), Overview.src.html (1.141), Overview.html
	  (1.149), Overview.src.html (1.142): checkpointing

2008-05-21 22:19  mike

	* Overview.html (1.147), Overview.src.html (1.140): checkpointing

2008-05-21 15:06  mike

	* Overview.html (1.146), Overview.src.html (1.139): checkpointing

2008-05-21 08:02  mike

	* Overview.html (1.145), Overview.src.html (1.138): checkpointing

2008-05-21 02:41  mike

	* Overview.html (1.143), Overview.src.html (1.136), Overview.html
	  (1.144), Overview.src.html (1.137): checkpointing

2008-05-21 02:37  mike

	* Overview.src.html (1.135): complete up through all of 3.12,
	  Embedded content

2008-05-20 22:39  mike

	* Overview.html (1.142), Overview.src.html (1.134), style.css
	  (1.58): checkpointing

2008-05-20 22:23  mike

	* Overview.html (1.140), Overview.src.html (1.132), Overview.html
	  (1.141), Overview.src.html (1.133): checkpointing

2008-05-20 19:37  mike

	* Overview.html (1.138), Overview.src.html (1.130), Overview.html
	  (1.139), Overview.src.html (1.131): checkpointing

2008-05-20 19:34  mike

	* Overview.html (1.136), Overview.src.html (1.128), Overview.html
	  (1.137), Overview.src.html (1.129): checkpointing

2008-05-20 04:50  mike

	* Overview.html (1.135), Overview.src.html (1.127): checkpointing

2008-05-20 03:47  mike

	* Overview.html (1.134), Overview.src.html (1.126): checkpointing

2008-05-20 02:44  mike

	* Overview.html (1.133), Overview.src.html (1.125): checkpointing

2008-05-20 02:41  mike

	* Overview.html (1.132), Overview.src.html (1.124): checkpointing

2008-05-20 00:47  mike

	* Overview.html (1.131), Overview.src.html (1.123): checkpointing

2008-05-19 22:38  mike

	* Overview.html (1.130), Overview.src.html (1.122): checkpointing

2008-05-19 21:26  mike

	* Overview.html (1.129), Overview.src.html (1.121): checkpointing

2008-05-19 20:52  mike

	* Overview.html (1.128), Overview.src.html (1.120): checkpointing

2008-05-19 14:38  mike

	* Overview.html (1.127), Overview.src.html (1.119): up through
	  section 3.10 done; eight more sections remain..

2008-05-19 14:26  mike

	* Overview.html (1.126), Overview.src.html (1.118): checkpointing

2008-05-19 14:11  mike

	* Overview.html (1.125), Overview.src.html (1.117): checkpointing

2008-05-19 13:23  mike

	* Overview.html (1.124), Overview.src.html (1.116): checkpointing

2008-05-19 13:13  mike

	* Overview.html (1.123), Overview.src.html (1.115): checkpointing

2008-05-19 13:02  mike

	* Overview.html (1.122), Overview.src.html (1.114), style.css
	  (1.57): checkpointing

2008-05-19 12:55  mike

	* Overview.html (1.121), Overview.src.html (1.113), style.css
	  (1.56): checkpointing

2008-05-19 12:48  mike

	* Overview.html (1.120), Overview.src.html (1.112): checkpointing

2008-05-19 12:17  mike

	* Overview.html (1.119), Overview.src.html (1.111): checkpointing

2008-05-19 11:52  mike

	* Overview.html (1.118), Overview.src.html (1.110): checkpointing

2008-05-19 01:30  mike

	* Overview.html (1.117), Overview.src.html (1.109): checkpointing

2008-05-19 01:17  mike

	* Overview.html (1.116), Overview.src.html (1.108): checkpointing

2008-05-19 00:57  mike

	* Overview.html (1.114), Overview.src.html (1.106), Overview.html
	  (1.115), Overview.src.html (1.107): checkpointing

2008-05-19 00:22  mike

	* style.css (1.55): checkpointing

2008-05-19 00:17  mike

	* Overview.html (1.113), Overview.src.html (1.105): checkpointing

2008-05-18 23:48  mike

	* Overview.html (1.112), Overview.src.html (1.104), style.css
	  (1.54): checkpointing

2008-05-18 23:43  mike

	* style.css (1.50), style.css (1.51), style.css (1.52), style.css
	  (1.53): checkpointing

2008-05-18 23:40  mike

	* style.css (1.49): checkpointing

2008-05-18 23:34  mike

	* style.css (1.44), style.css (1.45), style.css (1.46), style.css
	  (1.47), style.css (1.48): checkpointing

2008-05-18 23:31  mike

	* style.css (1.37), style.css (1.38), style.css (1.39), style.css
	  (1.40), style.css (1.41), style.css (1.42), style.css (1.43):
	  checkpointing

2008-05-18 23:28  mike

	* style.css (1.35), style.css (1.36): checkpointing

2008-05-18 23:24  mike

	* style.css (1.32), style.css (1.33), style.css (1.34):
	  checkpointing

2008-05-18 23:20  mike

	* Overview.html (1.111), Overview.src.html (1.103), specgen.xsl
	  (1.17), style.css (1.31): checkpointing

2008-05-18 14:24  mike

	* Overview.html (1.110), Overview.src.html (1.102): made
	  HTML5-conformant (passes v.nu check) & shortened comment down so
	  that meta@charset occurs within first 512 bytes

2008-05-18 12:39  mike

	* Overview.html (1.107), Overview.src.html (1.99), Overview.html
	  (1.108), Overview.src.html (1.100), Overview.html (1.109),
	  Overview.src.html (1.101): checkpointing

2008-05-18 12:28  mike

	* Overview.html (1.106), Overview.src.html (1.98): checkpointing

2008-05-18 11:43  mike

	* Overview.html (1.105), Overview.src.html (1.97), style.css
	  (1.30): checkpointing

2008-05-18 11:18  mike

	* Overview.html (1.104), Overview.src.html (1.96): checkpointing

2008-05-18 11:01  mike

	* Overview.html (1.103), Overview.src.html (1.95): checkpointing

2008-05-18 01:43  mike

	* Overview.html (1.101), Overview.src.html (1.93), Overview.html
	  (1.102), Overview.src.html (1.94): checkpointing

2008-05-18 00:37  mike

	* Overview.html (1.100), Overview.src.html (1.92): checkpointing

2008-05-17 15:50  mike

	* ED-20080515-20080517-DIFF.html (1.1), Overview.src.html (1.91):
	  All sections expect 3 now up to date with latest (May 17 JST)
	  draft.

2008-05-17 14:47  mike

	* Overview.html (1.99), Overview.src.html (1.90): checkpointing

2008-05-17 13:44  mike

	* ED-2008-05-15-17:48JST.html (1.1), ED-2008-05-17-13:41JST.html
	  (1.1): initial add

2008-05-17 13:30  mike

	* Overview.html (1.98), Overview.src.html (1.89): checkpointing

2008-05-17 13:29  mike

	* Overview.html (1.97), Overview.src.html (1.88): All sections
	  except section 3 are now up to date with all changes up through
	  May 16 at 01:21 JST.

2008-05-17 13:26  mike

	* Overview.html (1.95), Overview.src.html (1.86), Overview.html
	  (1.96), Overview.src.html (1.87): checkpointing

2008-05-17 13:16  mike

	* Overview.html (1.94), Overview.src.html (1.85): checkpointing

2008-05-17 12:52  mike

	* Overview.html (1.93), Overview.src.html (1.84): checkpointing

2008-05-17 04:40  mike

	* Overview.html (1.91), Overview.src.html (1.82), Overview.html
	  (1.92), Overview.src.html (1.83): checkpointing

2008-05-17 04:33  mike

	* Overview.html (1.90), Overview.src.html (1.81): checkpointing

2008-05-17 04:30  mike

	* Overview.html (1.89), Overview.src.html (1.80): checkpointing

2008-05-17 03:55  mike

	* Overview.html (1.88), Overview.src.html (1.79): checkpointing

2008-05-17 03:02  mike

	* Overview.html (1.87), Overview.src.html (1.78): checkpointing

2008-05-17 02:51  mike

	* Overview.html (1.86), Overview.src.html (1.77): checkpointing

2008-05-17 01:57  mike

	* Overview.html (1.85), Overview.src.html (1.76): checkpointing

2008-05-17 01:53  mike

	* Overview.html (1.83), Overview.src.html (1.74), Overview.html
	  (1.84), Overview.src.html (1.75): checkpointing

2008-05-16 21:48  mike

	* Overview.html (1.82), Overview.src.html (1.73): checkpointing

2008-05-16 21:43  mike

	* Overview.html (1.81), Overview.src.html (1.72): checkpointing

2008-05-16 21:39  mike

	* Overview.html (1.79), Overview.src.html (1.70), Overview.html
	  (1.80), Overview.src.html (1.71): checkpointing

2008-05-16 21:21  mike

	* Overview.html (1.78), Overview.src.html (1.69): checkpointing

2008-05-16 21:01  mike

	* Overview.html (1.76), Overview.src.html (1.67), Overview.html
	  (1.77), Overview.src.html (1.68): checkpointing

2008-05-16 20:48  mike

	* Overview.html (1.75), Overview.src.html (1.66), style.css (1.29):
	  checkpointing

2008-05-16 20:44  mike

	* Overview.html (1.73), Overview.src.html (1.64), Overview.html
	  (1.74), Overview.src.html (1.65): checkpointing

2008-05-16 20:28  mike

	* style.css (1.28): checkpointing

2008-05-16 20:24  mike

	* Overview.html (1.72), Overview.src.html (1.63): checkpointing

2008-05-16 19:55  mike

	* Overview.html (1.71), Overview.src.html (1.62): checkpointing

2008-05-16 19:52  mike

	* Overview.html (1.70), Overview.src.html (1.61): checkpointing

2008-05-16 19:46  mike

	* Overview.html (1.68), Overview.src.html (1.59), Overview.html
	  (1.69), Overview.src.html (1.60): checkpointing

2008-05-16 19:35  mike

	* style.css (1.25), style.css (1.26), style.css (1.27):
	  checkpointing

2008-05-16 19:16  mike

	* Overview.html (1.67), Overview.src.html (1.58): checkpointing

2008-05-16 19:03  mike

	* Overview.html (1.65), Overview.src.html (1.56), Overview.html
	  (1.66), Overview.src.html (1.57): checkpointing

2008-05-16 18:29  mike

	* Overview.html (1.64), Overview.src.html (1.55): checkpointing

2008-05-16 18:25  mike

	* Overview.html (1.63), Overview.src.html (1.54): checkpointing

2008-05-16 18:12  mike

	* Overview.html (1.62), Overview.src.html (1.53): checkpointing

2008-05-16 18:04  mike

	* Overview.html (1.61), Overview.src.html (1.52): checkpointing

2008-05-16 17:35  mike

	* Overview.html (1.60), Overview.src.html (1.51): checkpointing

2008-05-16 17:31  mike

	* Overview.html (1.59), Overview.src.html (1.50): checkpointing

2008-05-16 17:28  mike

	* Overview.html (1.58), Overview.src.html (1.49): checkpointing

2008-05-16 17:13  mike

	* Overview.html (1.56), Overview.src.html (1.47), Overview.html
	  (1.57), Overview.src.html (1.48): checkpointing

2008-05-16 16:59  mike

	* Overview.html (1.55), Overview.src.html (1.46): checkpointing

2008-05-16 16:54  mike

	* Overview.html (1.52), Overview.src.html (1.43), Overview.html
	  (1.53), Overview.src.html (1.44), Overview.html (1.54),
	  Overview.src.html (1.45): checkpointing

2008-05-16 16:36  mike

	* Overview.html (1.51), Overview.src.html (1.42), style.css (1.23),
	  style.css (1.24): checkpointing

2008-05-16 16:31  mike

	* Overview.html (1.50), Overview.src.html (1.41), style.css (1.22):
	  checkpointing

2008-05-16 16:27  mike

	* Overview.html (1.48), Overview.src.html (1.40), Overview.html
	  (1.49), style.css (1.20), style.css (1.21): checkpointing

2008-05-16 16:19  mike

	* Overview.html (1.46), Overview.src.html (1.38), Overview.html
	  (1.47), Overview.src.html (1.39): checkpointing

2008-05-16 16:16  mike

	* Overview.html (1.45), Overview.src.html (1.37): checkpointing

2008-05-16 16:09  mike

	* Overview.html (1.43), specgen.xsl (1.15), Overview.html (1.44),
	  specgen.xsl (1.16): checkpointing

2008-05-16 16:04  mike

	* Overview.html (1.41), Overview.src.html (1.36), style.css (1.19),
	  Overview.html (1.42), specgen.xsl (1.14): checkpointing

2008-05-16 13:53  mike

	* Overview.html (1.40), Overview.src.html (1.35): checkpointing

2008-05-16 13:43  mike

	* Overview.html (1.39), Overview.src.html (1.34): checkpointing

2008-05-16 12:09  mike

	* Overview.html (1.38), Overview.src.html (1.33): checkpointing

2008-05-16 05:27  mike

	* Overview.html (1.37), Overview.src.html (1.32): checkpointing

2008-05-16 05:16  mike

	* Overview.html (1.36), Overview.src.html (1.31): checkpointing

2008-05-16 05:12  mike

	* Overview.html (1.34), Overview.src.html (1.29), Overview.html
	  (1.35), Overview.src.html (1.30): checkpointing

2008-05-16 05:08  mike

	* Overview.html (1.32), Overview.src.html (1.27), Overview.html
	  (1.33), Overview.src.html (1.28): checkpointing

2008-05-16 04:47  mike

	* Overview.html (1.30), Overview.src.html (1.25), Overview.html
	  (1.31), Overview.src.html (1.26): checkpointing

2008-05-16 04:44  mike

	* Overview.html (1.29), Overview.src.html (1.24): checkpointing

2008-05-16 04:23  mike

	* Overview.html (1.28), Overview.src.html (1.23): checkpointing

2008-05-16 04:11  mike

	* Overview.html (1.26), Overview.src.html (1.21), Overview.html
	  (1.27), Overview.src.html (1.22): checkpointing

2008-05-16 04:08  mike

	* Overview.html (1.25), Overview.src.html (1.20): checkpointing

2008-05-16 03:37  mike

	* Overview.html (1.24), Overview.src.html (1.19): checkpointing

2008-05-16 03:27  mike

	* Overview.html (1.23), Overview.src.html (1.18): checkpointing

2008-05-16 03:16  mike

	* Overview.html (1.22), Overview.src.html (1.17), src.css (1.5):
	  checkpointing

2008-05-16 03:12  mike

	* style.css (1.17), style.css (1.18): checkpointing

2008-05-16 03:08  mike

	* style.css (1.14), style.css (1.15), style.css (1.16):
	  checkpointing

2008-05-16 03:02  mike

	* Overview.html (1.21), Overview.src.html (1.16), specgen.xsl
	  (1.13), src.css (1.4), style.css (1.12), style.css (1.13):
	  checkpointing

2008-05-16 02:52  mike

	* Overview.html (1.20), Overview.src.html (1.15): checkpointing

2008-05-16 02:48  mike

	* Overview.html (1.19), Overview.src.html (1.14): checkpointing

2008-05-16 02:44  mike

	* style.css (1.11): checkpointing

2008-05-16 02:40  mike

	* Overview.html (1.16), specgen.xsl (1.12), Overview.html (1.17),
	  Overview.src.html (1.12), style.css (1.10), Overview.html (1.18),
	  Overview.src.html (1.13): checkpointing

2008-05-16 02:36  mike

	* Overview.html (1.15), Overview.src.html (1.11), specgen.xsl
	  (1.11), src.css (1.3), style.css (1.9): checkpointing

2008-05-16 02:28  mike

	* Overview.html (1.14), Overview.src.html (1.10): checkpointing

2008-05-16 02:16  mike

	* Overview.html (1.13), Overview.src.html (1.9): checkpointing

2008-05-16 01:37  mike

	* Overview.html (1.12): checkpointing

2008-05-16 01:35  mike

	* Overview.src.html (1.8): added change info for Scope section

2008-05-16 01:19  mike

	* FPWDdiff-colored.html (1.1), FPWDdiff.html (1.1): initial add

2008-05-14 15:55  mike

	* Overview.html (1.11), Overview.src.html (1.7), specgen.xsl
	  (1.10), src.css (1.2), style.css (1.8): checkpointing

2008-05-13 17:15  mike

	* src.css (1.1): initial add

2008-05-13 17:13  mike

	* Overview.html (1.10), Overview.src.html (1.6), specgen.xsl (1.9),
	  style.css (1.7): checkpointing

2008-05-13 16:51  mike

	* Overview.src.html (1.5), style.css (1.6): checkpointing

2008-05-13 16:33  mike

	* Overview.src.html (1.4): checkpointing

2008-05-13 16:26  mike

	* style.css (1.5): checkpointing

2008-05-13 16:21  mike

	* Overview.html (1.9), Overview.src.html (1.3), specgen.xsl (1.8),
	  style.css (1.4): checkpointing

2008-05-13 11:07  mike

	* Overview.html (1.8), Overview.src.html (1.2), specgen.xsl (1.7):
	  further refinements

2008-05-13 04:44  mike

	* Overview.xml (1.5): deleted XML file as no longer needed

2008-05-13 04:42  mike

	* Overview.src.html (1.1), parse.py (1.1): initial add

2008-05-13 04:41  mike

	* Overview.html (1.7), specgen.xsl (1.6): checkpointing

2008-05-13 04:18  mike

	* Makefile (1.3), Overview.html (1.6), specgen.xsl (1.5): source
	  now in text/html and uses html5lib to convert to XHTML before
	  applying XSLT stylesheet

2008-05-13 01:45  mike

	* Overview.html (1.5), specgen.xsl (1.4), style.css (1.3): various
	  refinements

2008-05-13 00:20  mike

	* Makefile (1.2), Overview.html (1.4), Overview.xml (1.4),
	  specgen.xsl (1.3), style.css (1.2): various updates

2008-05-12 18:15  mike

	* Overview.xml (1.3), Overview.html (1.3): cruft removal

2008-05-12 18:14  mike

	* Overview.html (1.2), Overview.xml (1.2), specgen.xsl (1.2):
	  checkpointing

2008-05-12 16:53  mike

	* Makefile (1.1), Overview.html (1.1), Overview.xml (1.1),
	  specgen.xsl (1.1), style.css (1.1): initial add

Received on Friday, 6 June 2008 10:35:21 UTC