Hi all, Metamath-lamp version 27 <https://expln.github.io/lamp/v27/index.html> has been released. This release includes bug fixes, new features and updates:
- Multiple editor tabs. #153 <https://github.com/expln/metamath-lamp/issues/153> - Bug fix: Search by description produces misleading results. #215 <https://github.com/expln/metamath-lamp/issues/215> - Improve usability of the assertion search dialog in the editor. - Update the "inline proof" <https://github.com/expln/metamath-lamp-docs/blob/master/mm_lamp_versions/v27/editor/inline_theorems.md> 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" <https://github.com/expln/metamath-lamp-docs/blob/master/mm_lamp_versions/v27/editor/reorder_steps_automatically.md>. It automatically reorders steps taking into account dependencies between them. - Possibility to reorder bookmarked steps <https://github.com/expln/metamath-lamp-docs/blob/master/mm_lamp_versions/v27/editor/bookmark_steps.md> when only bookmarked steps are displayed. - Slight changes in the formatting of the completed proof. -- Igor -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/0cb5d8ae-c7e5-4bcc-aef2-c2df38eea516n%40googlegroups.com.
