modified:   docs/krav/design.tex
	modified:   docs/krav/features.tex
	modified:   docs/krav/functional.scala
	modified:   docs/krav/quality.tex
	modified:   docs/projectExperiences.tex
	modified:   docs/systemRequirements.tex