[racket] proof assistants, DrRacket and Bootstrap

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Nov 2 12:55:58 EST 2014

On Nov 2, 2014, at 12:30 AM, Bill Richter wrote:

> Can we save the interactions window as a pdf?  Or something like that?  
> I just posted on my web page the Racket interactions file of a solution to a Sudoku puzzle 
> http://www.math.northwestern.edu/~richter/10-31-2014.rkt
> but this is only visible if one saves the file and runs it in Dr Racket.  I think it looks very nice, and it's Racket code my son Ben wrote 4 years ago, plus some manual interventions of mine. 

Just do the obvious. Click in Interactions, cmd-p (or whatever incantations are appropriate for your favorite OS), save the file, and voila you have a PDF of your interactions. Also consider a screen shot -- Matthias

Posted on the users mailing list.