typo in tutorial: "things" instead of "thinks" (page 90)

kevinwatkins / hol-light

Automatically exported from code.google.com/p/hol-light

Other

0 stars 0 forks source link

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

As in the summary.

Original issue reported on code.google.com by piotr.tr...@gmail.com on 24 Jul 2014 at 11:29

GoogleCodeExporter commented 9 years ago

Thanks, I've fixed this in my working copy (2014/11/16) and this will propagate
to the Web soon.

Original comment by jrh...@gmail.com on 16 Nov 2014 at 8:37