Раздел 5.2 из В Руководстве пользователя кувалды для Изабель / HOL упоминается, что после получения сообщения «Не удалось выполнить реконструкцию в одну линию», возможно, стоит запустить Кувалду с строгим опция включена.Это можно установить в среде jEdit?