search

haselwarter / hol-light

Automatically exported from code.google.com/p/hol-light
Other
0 stars 0 forks source link

typo in PDF tutorial: double "a a" #20

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Chapter 11 (Page 74, file 'tutorial_220.pdf'); is "far from a a simple", should 
be "far from a simple".

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

GoogleCodeExporter commented 9 years ago 
Thank you, fixed now (2014/11/6) in my working copy and will propagate to the 
Web soon.

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