erg a20edf692f fix stack effects for indent> and <indent		2006-11-01 18:15:55 +00:00
..
backend.factor	Revised prettyprinter	2006-10-28 06:41:21 +00:00
backend.facts	Revised prettyprinter	2006-10-28 06:41:21 +00:00
core.factor	Revised prettyprinter	2006-10-28 06:41:21 +00:00
core.facts	Revised prettyprinter	2006-10-28 06:41:21 +00:00
frontend.factor	Revised prettyprinter	2006-10-28 06:41:21 +00:00
frontend.facts	Revised prettyprinter	2006-10-28 06:41:21 +00:00
sections.factor	fix stack effects for indent> and <indent	2006-11-01 18:15:55 +00:00
sections.facts	Revised prettyprinter	2006-10-28 06:41:21 +00:00