11.03.2014. – Обновления БД, исправлен ряд обнаруженных опечаток.
3.03.2014 – Работа системы восстановлена в полном объеме после сбоя базы данных.
5.05.2011 – Система восстановлена после сбоя баз данных.
7.11.2010 – Правка ссылок на литературу в связи с переносом и переименованием некоторых файлов.
24–25.11.2009 – Исправлены нарушения, вызванные модификацией кода. Приведение Карты системы в соответствие с ее структурой.
23.11.2009 – ИС по формальным теориям на уровне интерфейса выделена в отдельный проект; проведена необходимая редактура кодов.
19–23 ноября 2009. Проведено отделение ИС по формальным теориям от проектов Словаря и Библиотечки.
26 марта – 26 октября 2008. Начало обновления сайта системы, расширение системы за счет добовления Словаря по логике и Библиотечки, но без последовательного их разделения на уровне интерфейса. Историю обновлений объединенной системы см. здесь...
Январь 2006 – март 2008. Автономная работа системы без обновлений, исправлений и т.д.
2002–2005. Система была создана в 2003-2005 гг. О истории и создателях см. здесь...