search

kevinwatkins / hol-light

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

extra punctuation after "i.e." in documentation #14

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
In few places in the documentation "i.e." is followed by extra comma (,).

Attached patch makes the punctuation consistent with "e.g." and other uses 
"i.e.".

Original issue reported on code.google.com by piotr.tr...@gmail.com on 23 Jul 2014 at 8:13

Attachments:

GoogleCodeExporter commented 9 years ago 
Thanks for the patch, finally applied in r205.

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