factor

Author	SHA1	Message	Date
John Benediktsson	81e3bef507	xml: 25% (or more) faster. Main performance improvements from: - improving text? check performance - fewer "spot get char>>" in skip-until - better string matching (don't use circular-string sequence=)	2011-09-30 12:47:38 -07:00
Daniel Ehrenberg	875592b010	Fixing xml.name for word name change	2009-01-29 18:38:14 -06:00
Daniel Ehrenberg	b87b9af458	DTDs are a separate type now; all variables in xml.state	2009-01-23 15:29:28 -06:00
Daniel Ehrenberg	915b6d3706	Reorganizing XML	2009-01-21 18:16:51 -06:00