Added comment about the semantics not being complete
Merge branches 'master' and 'master' of https://github.com/DonnoDK/408f13-latex