Thank you!

Seems I have missed enrollment. Does it repeat each year?

@leif How did you resolve the \renewcommand{\rmdefault}{ptm} problem with acmart? I wonder whether it makes sense to add \renewcommand{\renewrmdefault}{} to “acmart-load.tex”.

I don’t know — it looked to me like it was in the future

Oh wow. I went to file an issue and discovered this from four days ago: https://github.com/racket/scribble/issues/135 @notjack what is this remote mind control you are doing to me :open_mouth:

@greg I finally got my future vision machine working ;)

@notjack For scribble and exporting from two modules: you probably want to use #:no-declare with defmodule and use declare-exporting to list multiple modules (instead of having defmodule generate a declare-exporting with a single module)

@mflatt thanks!

@mflatt Is there any easy way to change the font on comments in scribble?

errr. slideshow.

I mean, I know I could just put a pict in there, but then I have to manually handle multiple lines.)

should I default to using protect-out on macros in public APIs? is there a reason not to for specific kinds of macros?

@mflatt @leif What’s the current status of DrRacket 6.10 on Win10Creators? Is it stable enough that I should direct students to install it, or should I still direct them to Leif’s workaround (http://prl.ccs.neu.edu/blog/2017/05/26/racket-6-9-and-windows-10-creators-update/) — and if so, Leif, is there a version of this vm with 6.10 installed?

@blerner I think Robby’s most recent workaround (included in 6.10) is effective for everyone. At least, I don’t know of anyone still having trouble with 6.10 and Windows Creator Update

@leif I don’t recall a way to change the style of comments

Thanks. I’ll holler if I find any :wink:

I had 2 problems with DrRacket 6.10 on Windows 10:

1. unknown certificate

1. “Copy from version” crashing DrRacket every time it was run

1st is not a big deal but 2nd is problematic if you don’t want to start with vanilla installation

@githree I don’t think the second has been reported

So a bug report would be a good idea