Metamath-lamp version 27 released

38 views

Skip to first unread message

unread,

Feb 8, 2025, 3:00:45 PMFeb 8

to Metamath

Hi all,

Metamath-lamp version 27 has been released. This release includes bug fixes, new features and updates:

Multiple editor tabs. #153
Bug fix: Search by description produces misleading results. #215
Improve usability of the assertion search dialog in the editor.
Update the "inline proof" feature: instead of inlining the theorem for a single step, it is now possible to inline multiple theorems (and all steps using those theorems) at once.
A new feature "Reorder steps". It automatically reorders steps taking into account dependencies between them.
Possibility to reorder bookmarked steps when only bookmarked steps are displayed.
Slight changes in the formatting of the completed proof.