Open GoogleCodeExporter opened 9 years ago
I thought this was a bug, too, but then it occurred to me that it might be
deliberate, with the text in smaller font being "side comments" by the
professor.
Original comment by nicolai....@gmail.com
on 29 Jan 2014 at 9:16
Original issue reported on code.google.com by
elb0wf...@gmail.com
on 12 Dec 2012 at 11:56