Eli Barzilay 672910f27b Lots of bad TAB eliminations. ... I started from tabs that are not on the beginning of lines, and in several places I did further cleanings. If you're worried about knowing who wrote some code, for example, if you get to this commit in "git blame", then note that you can use the "-w" flag in many git commands to ignore whitespaces. For example, to see per-line authors, use "git blame -w <file>". Another example: to see the (*much* smaller) non-whitespace changes in this (or any other) commit, use "git log -p -w -1 <sha1>".		2012-11-07 11:22:20 -05:00
..
compiler	Lots of bad TAB eliminations.	2012-11-07 11:22:20 -05:00
arrow.rkt
core-layout.rkt	fix typesetting of builtin non-terminals	2012-10-31 19:51:50 -05:00
cycle-check.rkt
defined-checks.rkt
dot.rkt
error.rkt
extract-conditions.rkt	Additional random test generation capability for Redex.	2012-10-17 16:30:51 -05:00
fresh.rkt
gen-trace.rkt	Additional random test generation capability for Redex.	2012-10-17 16:30:51 -05:00
generate-term.rkt	adjust generate-term so that it has an '=' in its concrete	2012-11-01 21:13:39 -05:00
jdg-gen.rkt	don't use disunify* to check disequations, since at this point they are fully instantiated	2012-11-01 11:52:19 -05:00
judgment-form.rkt	adjust generate-term so that it has an '=' in its concrete	2012-11-01 21:13:39 -05:00
keyword-macros.rkt
loc-wrapper-ct.rkt
loc-wrapper-rt.rkt
loc-wrapper.rkt
match-a-pattern.rkt	Additional random test generation capability for Redex.	2012-10-17 16:30:51 -05:00
matcher.rkt	added the ability to extract a derivation	2012-10-21 23:19:54 -05:00
pat-unify.rkt	#lang racket' -> #lang racket/base' conversions in drracket and in redex.	2012-11-07 08:03:44 -05:00
pict.rkt	adjust define-judgment-form's typesetting so that it	2012-10-09 09:06:09 -05:00
red-sem-macro-helpers.rkt
reduction-semantics.rkt	record the (uncompiled) domain pattern with a reduction	2012-10-27 20:39:04 -05:00
rewrite-side-conditions.rkt	add syntax error check when the arrow in a reduction	2012-09-20 07:09:17 -05:00
rg.rkt	Additional random test generation capability for Redex.	2012-10-17 16:30:51 -05:00
search.rkt	Additional random test generation capability for Redex.	2012-10-17 16:30:51 -05:00
sexp-diffs.rkt
show-derivations.rkt	added show-derivations to redex	2012-11-06 19:15:53 -06:00
size-snip.rkt	added show-derivations to redex	2012-11-06 19:15:53 -06:00
stepper.rkt
struct.rkt	record the (uncompiled) domain pattern with a reduction	2012-10-27 20:39:04 -05:00
term-fn.rkt	Additional random test generation capability for Redex.	2012-10-17 16:30:51 -05:00
term.rkt	Additional random test generation capability for Redex.	2012-10-17 16:30:51 -05:00
trace-layout.rkt	Additional random test generation capability for Redex.	2012-10-17 16:30:51 -05:00
traces.rkt	added show-derivations to redex	2012-11-06 19:15:53 -06:00
underscore-allowed.rkt