embedded-gui
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
framework
|
More svn -> git changes.
|
2010-05-17 05:41:04 -04:00 |
hierlist
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
icons
|
.
|
2004-11-30 14:23:20 +00:00 |
mrlib
|
added \newpage to the latex-style keybindings
|
2010-05-17 11:39:38 -05:00 |
racket
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
redex/private
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
scheme
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
scribblings
|
Small typos, some reformatting.
|
2010-05-21 16:30:16 -04:00 |
tests
|
Rename "collects/tests/mred" -> ".../gracket".
|
2010-05-17 01:44:27 -04:00 |