[racket] proof assistants, DrRacket and Bootstrap

From: Bill Richter (richter at math.northwestern.edu)
Date: Tue Nov 4 01:34:41 EST 2014

Matthias, I easily produced a pdf of my DrRacket Interactions buffer using your tip
Files -> Print Interactions
on a 64-bit Mac using the compiled binaries.  You can hit the 65-page pdf from the 3rd paragraph of 
http://www.math.northwestern.edu/~richter/
which contains a Sudoku, logic and Geometry discussion.

So the bad pdf I got yesterday is just a problem with DrRacket compiled from the sources on a 64-bit Linux box.

-- 
Best,
Bill 

Posted on the users mailing list.