search

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

Minor grammar issues in help #22

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
The attached patch fixes a minor issue in two help descriptions.

Original issue reported on code.google.com by piotr.tr...@gmail.com on 16 Aug 2014 at 8:15

Attachments:

GoogleCodeExporter commented 9 years ago 
One more grammar fix in help file.

Original comment by piotr.tr...@gmail.com on 10 Oct 2014 at 3:04

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:34