Merge branch 'platform' of github.com:micky686/Esen2012
documentation cont.
Merge branch 'platform' of github.com:micky686/Esen2012
deliverables continued
workpackages done
requirements finished
spec began
specification ended
spec ended
merging
implementation and validation left
language implementation
	Merge branch 'master' of github.com:micky686/Esen2012 into platform

Conflicts:
	docs/protocol/protocol.tex