![]() also: use it in pict's rendering and remove redex's platform-specific font choice (going back to using 'modern on all platforms) closes PR 12554 |
||
---|---|---|
.. | ||
examples | ||
private | ||
tests | ||
gui.rkt | ||
info.rkt | ||
main.rkt | ||
pict.rkt | ||
redex.scrbl | ||
reduction-semantics.rkt | ||
tut-subst.rkt |