search

racket / drracket

DrRacket, IDE for Racket
http://www.racket-lang.org/
Other
444 stars 93 forks source link

Revise lang-tools.scrbl to generalize from DrRacket #642

Closed greghendershott closed 9 months ago

greghendershott commented 9 months ago

For issue #641.

rfindler commented 9 months ago

I've read over the diff and things generally look good to me.

greghendershott commented 9 months ago

Sorry it took me an extra day or two, but, I pushed a commit incorporating the discussion of how to present the preference for languages using color-textoid<%>.

With that commit, I think this is ready to merge. (But I'm happy to make further edits/changes if you spot anything else.)

rfindler commented 9 months ago

This looks good to me. And having the two commits separate seems like a non-bad thing, so I'll go ahead and merge this.

Thanks!