Eli Barzilay b62d79045e website moved ... svn: r11101		2008-08-06 06:16:31 +00:00
..
examples	finished docs port for redex and cleaned up some of the exampels	2008-08-05 21:09:02 +00:00
private	Simplified generator, due to removal of named holes.	2008-08-05 23:38:30 +00:00
doc.txt	added a main.ss and got rid of planet dependencies and the old crufty subst	2008-07-29 21:55:19 +00:00
gui.ss	adding redex to main SVN archive so it goes into the distribution	2008-07-29 21:46:15 +00:00
HISTORY	removed named holes from Redex	2008-08-05 21:28:12 +00:00
info.ss	a little more progress....	2008-08-05 15:17:56 +00:00
main.ss	added a main.ss and got rid of planet dependencies and the old crufty subst	2008-07-29 21:55:19 +00:00
pict.ss	finished docs port for redex and cleaned up some of the exampels	2008-08-05 21:09:02 +00:00
redex.scrbl	website moved	2008-08-06 06:16:31 +00:00
reduction-semantics.ss	finished docs port for redex and cleaned up some of the exampels	2008-08-05 21:09:02 +00:00