[Jmlspecs-commits] JML2/docs/jmlrefman jmlrefman.texinfo,1.105,1.106

[<le...@us...>]

Update of /cvsroot/jmlspecs/JML2/docs/jmlrefman
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv9250

Modified Files:
	jmlrefman.texinfo 
Log Message:
Correcting syntax of generic-spec-case