Robby Findler
|
f85ac6959a
|
svn: r15357
|
2009-07-01 18:25:24 +00:00 |
|
Robby Findler
|
ba5aea8cdd
|
added 'left-right/beside-side-conditions
svn: r15350
|
2009-07-01 04:45:02 +00:00 |
|
Matthew Flatt
|
52acc7cbfb
|
Redex rendering adjustments, including new metafunction styles
svn: r15322
|
2009-06-28 16:15:23 +00:00 |
|
Robby Findler
|
a12141f3ca
|
svn: r15295
|
2009-06-26 01:21:09 +00:00 |
|
Robby Findler
|
1e9a606bb7
|
svn: r15275
|
2009-06-25 19:48:18 +00:00 |
|
Robby Findler
|
29ca40e3b2
|
svn: r15215
|
2009-06-19 14:58:58 +00:00 |
|
Robby Findler
|
d64ca317cd
|
svn: r15172
|
2009-06-14 17:23:06 +00:00 |
|
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 |
|