Metamath-lamp version 15 released (minor UI improvements)

[Igor Ieskov]

Metamath-lamp version 15 has been released. It includes minor UI improvements:

Issue 112 Allow shrinking to a single symbol in fragment selector.
Previously it was not possible to shrink selection to a single symbol in some cases. Now it became possible in all cases.

Issue 115 In visualizations, don't repeat if conclusion is all constants

Issue 123 Add delete (trash can) when editing Description, Variables, and Disjoints

Issue 138 Bug fix: Alt+click doesn't edit label and step type when "long click" is enabled

Issue 32 Automate creating of labels for hypotheses

Issue 64 Now it is possible to switch the parentheses autocompletion on and off depending on needs.

Issue 99 Open proof explorer by clicking refs in justifications in the editor.

-
Igor