modified:   build.sh
	modified:   docs/krav/design.tex
	modified:   docs/krav/domain.tex
	modified:   docs/krav/features.tex
	modified:   docs/krav/goals.tex
	modified:   docs/krav/quality.scala
	modified:   docs/krav/quality.tex
	modified:   docs/krav/quper.tex
	modified:   docs/systemRequirements.tex