[m-dev.] for review: document pragma import & nondet pragma c_code

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> Hi,
> 
> Tom and Zoltan, could you both please review this?
> 
> --------------------
> 
> Estimated hours taken: 3
> 
> doc/reference_manual.texi:
> 	Document `pragma import' and nondet `pragma c_code'.
> 	Also make various other minor improvements to the documentation
> 	of the C interface, and fix a few layout errors
> 	(e.g. the use of "..." instead of "@dots{}").
> 

Fine except for the following XXX:

> +
> + at c XXX document the default values
> +

Thomas
-- 
Thomas Conway <conway at cs.mu.oz.au> )O+
To a killer whale, otters are like hairy popcorn -- Paul Dayton