search

jcreedcmu / twelf-mac

Other
0 stars 1 forks source link

make stderr go to the debug window #27

Closed agoode closed 3 months ago

agoode commented 3 months ago

Then we can enable gc-messages.