3 марта 2014. Работа системы восстановлена в полном объеме после сбоя одной из баз данных.
5 апреля 2011. Система восстановлена после сбоя баз данных.
19-23 ноября 2009. Проведено разделение ИС по логике на "ИС по формальным теориям", "Словарь по логике" и "Библиотечку". Дальнейшую историю обновлений см. в новостях соответствующих подпроектов.
26 марта - 26 октября 2008. Проведено незначительное обновление ИС по формальным теориям, на основе ее материалов созданы Словарь по логике и Библиотечка. Историю обновлений объединенной системы см. здесь...
Январь 2006 - март 2008. Автономная работа системы без обновлений, исправлений и т.д.
2002-2005. В 2003-2005 гг. была создана Информационная система по формальным теориям на Theo.ru. О истории и создателях см. здесь...
| Обновления ИС по формальным теориям... | Обновления Словаря... | Обновления Библиотечки... |