Definitions lists in Binders

I’ve created a binder but when I unify documents that each has its own definition list what happens is that I get a unified list of all definitions in the binder in each document.

Is there a way to separate this such that each document’s list will only have its own definitions?


That’s what the Advanced menu is for. Select the definition list itself, and have a look at all the different options!

See the documentation: Global and local definition lists | Clause9

Thanks for the quick reply! You’re the best!
Is there any way to do it globally and not on a case-by-case basis?

Unfortunately no — not at this moment…