Eli Barzilay d61eb53686 Lots of documentation formatting. ... Started as fixing misindented definitions, then more indentations, then a bunch of similar things (square brackets, huge spaces at end-of-lines, etc).		2011-08-15 07:50:04 -04:00
..
examples	Changes example from arithmetic to pairs	2011-08-12 04:33:38 -05:00
private	Improves error message for premise typos	2011-08-10 12:24:02 -05:00
tests	Improves error message for premise typos	2011-08-10 12:24:02 -05:00
gui.rkt	".ss" -> ".rkt" scan done.	2011-07-02 10:37:53 -04:00
info.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
main.rkt	".ss" -> ".rkt" scan done.	2011-07-02 10:37:53 -04:00
pict.rkt	Adds with-compound-rewriters typesetting form	2011-08-10 12:24:00 -05:00
redex.scrbl	Lots of documentation formatting.	2011-08-15 07:50:04 -04:00
reduction-semantics.rkt	Changes syntax for define-judgment-form mode and contract specs	2011-08-10 12:23:59 -05:00