Robby Findler
|
ae0a69f162
|
svn: r14911
|
2009-05-21 20:53:12 +00:00 |
|
Eli Barzilay
|
ff73a5395e
|
removed lots of "the the"s
svn: r14679
|
2009-05-01 21:02:51 +00:00 |
|
Robby Findler
|
fe618071dc
|
added a test--> that only does a single step of the reduction relation
svn: r14014
|
2009-03-08 21:07:01 +00:00 |
|
Robby Findler
|
1e807c3a33
|
svn: r14013
|
2009-03-08 20:45:30 +00:00 |
|
Robby Findler
|
338a171a6a
|
renamed test--> to test-->>
svn: r14012
|
2009-03-08 20:29:31 +00:00 |
|
Casey Klein
|
b948caaa92
|
Added natural', integer', and `real' patterns to Redex.
svn: r13957
|
2009-03-04 20:12:36 +00:00 |
|
Robby Findler
|
e8a47051f7
|
improved redex's expansion to work better with check syntax (and noted a few other recent changes in the HISTORY.txt file)
svn: r13944
|
2009-03-04 12:59:26 +00:00 |
|
Robby Findler
|
3726cb9228
|
commit to restore the added stuff (that does not go into the release branch)
svn: r13229
|
2009-01-19 18:25:15 +00:00 |
|
Robby Findler
|
135d4661cb
|
commit to go into the release branch
svn: r13228
|
2009-01-19 18:24:52 +00:00 |
|
Robby Findler
|
af810c8a6f
|
added support for special-case drawing of individual edges to the graph library and support to be able to use that to redex
svn: r13226
|
2009-01-19 18:02:33 +00:00 |
|
Robby Findler
|
c4630e4526
|
extended initial-char-width
svn: r13221
|
2009-01-19 15:15:12 +00:00 |
|
Robby Findler
|
77394b483c
|
updated HISTORY
svn: r13206
|
2009-01-18 23:15:37 +00:00 |
|