.. |
private
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
danish-string-constants.rkt
|
More plt-scheme -> racket-lang, specifically for planet and bugs urls.
|
2010-05-31 15:11:27 -04:00 |
dutch-string-constants.rkt
|
More plt-scheme -> racket-lang, specifically for planet and bugs urls.
|
2010-05-31 15:11:27 -04:00 |
english-string-constants.rkt
|
various cleanups, including finishing up the client mode, string constants, and coloring of (known) identifiers
|
2010-08-07 14:35:03 -05:00 |
french-string-constants.rkt
|
adjusted German and French translations
|
2010-07-26 11:51:43 -05:00 |
german-string-constants.rkt
|
adjusted German and French translations
|
2010-07-26 11:51:43 -05:00 |
info.rkt
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
japanese-string-constants.rkt
|
More plt-scheme -> racket-lang, specifically for planet and bugs urls.
|
2010-05-31 15:11:27 -04:00 |
main.rkt
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
portuguese-string-constants.rkt
|
More plt-scheme -> racket-lang, specifically for planet and bugs urls.
|
2010-05-31 15:11:27 -04:00 |
russian-string-constants.rkt
|
fixed preserve-stacktrace-information string constant; fix from Sergey Semerikov
|
2010-08-10 19:31:11 -05:00 |
simplified-chinese-string-constants.rkt
|
More plt-scheme -> racket-lang, specifically for planet and bugs urls.
|
2010-05-31 15:11:27 -04:00 |
spanish-string-constants.rkt
|
More plt-scheme -> racket-lang, specifically for planet and bugs urls.
|
2010-05-31 15:11:27 -04:00 |
string-constant-lang.rkt
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
string-constant.rkt
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
string-constants.scrbl
|
misc doc fixes
|
2010-05-05 11:07:34 -06:00 |
traditional-chinese-string-constants.rkt
|
More plt-scheme -> racket-lang, specifically for planet and bugs urls.
|
2010-05-31 15:11:27 -04:00 |
ukrainian-string-constants.rkt
|
fixed preserve-stacktrace-information string constant; fix from Sergey Semerikov
|
2010-08-10 19:31:11 -05:00 |