thales-doc Documentation and project planning related to thales Any tex files should go in this repository. Code in the other github repository, and everything else on google drive.