Metamath-lamp version 15 has been released. It includes minor UI improvements:
Issue 112 <https://github.com/expln/metamath-lamp/issues/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 <https://github.com/expln/metamath-lamp/issues/115> In visualizations, don't repeat if conclusion is all constants Issue 123 <https://github.com/expln/metamath-lamp/issues/123> Add delete (trash can) when editing Description, Variables, and Disjoints Issue 138 <https://github.com/expln/metamath-lamp/issues/138> Bug fix: Alt+click doesn't edit label and step type when "long click" is enabled Issue 32 <https://github.com/expln/metamath-lamp/issues/32> Automate creating of labels for hypotheses Issue 64 <https://github.com/expln/metamath-lamp/issues/64> Now it is possible to switch the parentheses autocompletion on and off depending on needs. Issue 99 <https://github.com/expln/metamath-lamp/issues/99> Open proof explorer by clicking refs in justifications in the editor. - 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 on the web visit https://groups.google.com/d/msgid/metamath/a1714dd2-08cf-4193-9e83-2effb1048492n%40googlegroups.com.
