Что такое пантеон? Что такое микромир?

Микромир — многоплатформенный текстовый редактор, созданный на мехмате МГУ в 1980-х годах. Использовался как профессиональный, но более известен своим применением в учебном процессе в школе, ПТУ и ВУЗе. Разработка велась под руководством А. Г. Кушниренко.

Пантео́н — группа богов, принадлежащих к одной религии или мифологии.