templates and controls for changing context and theory files