[sv-ac] Mantis 1932

Hi Doron,

 

I reviewed my friendly amendments and found the following:

 

*	Page 2. "a1: assert..." - the closing parenthesis should be
black.
*	Page 2. "Removed the following..." - fix the fonts and delete a
redundant quote.
*	Page 8. Last sentence of the first paragraph "evaluates to true"
- "true" should be regular (not italic).
*	Page 11. Before the line with: "(indexed form of weak next )" -
drop an empty line.
*	Page 11. "(strong next )" -> "(strong next)" - drop the last
space.
*	Page 13. "implicit_always: assert property(p);" Check fonts: all
should be in courier 9, "assert property" should be bold.
*	Page 13, Examples. Check fonts. Not all text is in courier and
not all keywords are bold.
*	Page 14. "always property": "always" should be in courier 9.

 

Thanks,

Dmitry

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.