backend for the upload project theories
fix upload messages for the front-end of the theories upload