racket/collects/redex
2009-01-14 18:21:55 +00:00
..
examples newlines at EOFs 2009-01-14 03:10:47 +00:00
private added code to remove the graph-pb from the canvas while printing 2009-01-14 18:21:55 +00:00
doc.txt
gui.ss newlines at EOFs 2009-01-14 03:10:47 +00:00
HISTORY added traces/ps and some code to make automatic layout of the graph possible (see #:layout in the docs for traces) 2009-01-10 18:17:45 +00:00
info.ss assign authors to manuals 2008-08-15 20:16:06 +00:00
main.ss newlines at EOFs 2009-01-14 03:10:47 +00:00
pict.ss newlines at EOFs 2009-01-14 03:10:47 +00:00
redex.scrbl fixed an x/y reversal bug and improved the #:layout function so it isn't called as much 2009-01-14 18:05:21 +00:00
reduction-semantics.ss newlines at EOFs 2009-01-14 03:10:47 +00:00