Documents filed with the city of Aurora describe changes planned for the movie theater where a gunman opened fire this summer.