id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
39	format of examples	Stephen Siegel	zirkel	"1. Examples should have meaningful names based on name of containing directory---many are still just called ""spec.mmp"" and ""impl.mmp"".

2. put left curly brace on same line as function, i.e. 
  main() {
not
  main()
  {
counting example is one case where this is not right.

3. fatorialSpec has braces on new lines too.   Please fix this and other examples where this issue occurs."	defect	closed	major		examples	1.0	fixed	format