modified:   docs/krav/definitions.tex
	modified:   docs/krav/features.tex
	modified:   docs/krav/goals.tex
	modified:   docs/krav/quality.tex