Contents
--------

Makefile 	-- make file

jmlrefman.texinfo	-- main texinfo file
jmlrefman.info*	-- generated info files
jmlrefman.*		-- other generated files

collected-grammar.texinfo -- made automatically from jmlrefman.texinfo

local/	- contains *.texinfo files (JML specs) automatically
	  generated by make from corresponding files
	  in../../org/jmlspecs/samples/jmlrefman.