Последние обновления ИС по формальным теориям

(с ноября 2009)

2010 – 2014

11.03.2014. – Обновления БД, исправлен ряд обнаруженных опечаток.

3.03.2014 – Работа системы восстановлена в полном объеме после сбоя базы данных.

5.05.2011 – Система восстановлена после сбоя баз данных.

7.11.2010 – Правка ссылок на литературу в связи с переносом и переименованием некоторых файлов.


2009

24–25.11.2009 – Исправлены нарушения, вызванные модификацией кода. Приведение Карты системы в соответствие с ее структурой.

23.11.2009 – ИС по формальным теориям на уровне интерфейса выделена в отдельный проект; проведена необходимая редактура кодов.


19–23 ноября 2009. Проведено отделение ИС по формальным теориям от проектов Словаря и Библиотечки.

26 марта – 26 октября 2008. Начало обновления сайта системы, расширение системы за счет добовления Словаря по логике и Библиотечки, но без последовательного их разделения на уровне интерфейса. Историю обновлений объединенной системы см. здесь...

Январь 2006 – март 2008. Автономная работа системы без обновлений, исправлений и т.д.

2002–2005. Система была создана в 2003-2005 гг. О истории и создателях см. здесь...