Add some files. Update tria documentation.