Jacob Matthews ea2ea13a84 merged 1115:1124 from branches/redex-names, adds support for named reductions that get drawn in the traces window ... svn: r1126 original commit: a255e439ea7abebb1e45b3bb963a77e468801e29		2005-10-22 02:47:51 +00:00
collects	merged 1115:1124 from branches/redex-names, adds support for named reductions that get drawn in the traces window	2005-10-22 02:47:51 +00:00
man/man1	2004 -> 2005	2005-01-01 02:27:01 +00:00
notes/mred	notes for 299.404	2005-10-13 16:19:04 +00:00