Make user-defined sorts accessible in "\dl_" escapes#3659

Open

WolframPfeifer wants to merge 6 commits intomainfrom

pfeifer/userdefKeYSortsInJML

Commits on Sep 11, 2025

hack to allow user-defined sorts from .key file in JML via dl escape
WolframPfeifer
committed

Commits on Sep 12, 2025

use logical symbol instead of doc comment for default value of user defined sort
WolframPfeifer
committed

Commits on Oct 29, 2025

new test case for user-def. sorts in dl escape, fix assertion error
WolframPfeifer
committed
removed assertion that seems unnecessary and makes test case fail, extended test case
WolframPfeifer
committed

Commits on Nov 5, 2025