Improved error handling while loading a file theory.
allTheoryFilesFromTestResourceDir()
loadAllTestTheories
Never used
Comments