typo in PDF tutorial: double "a a"

CJex / hol-light

HOL Light is an interactive theorem prover / proof checker. Automatically exported from code.google.com/p/hol-light

Other

1 stars 0 forks source link

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