Each document now maintains an independent set of Maple definitionsDM5-2.tex. The Maple Settings Definition Options dialog box now applies to individual documents, and is no longer global. There is no need for the option to clear existing definitions when a document is loaded. We have set the defaults to always save and to always restore definitionsDM5-3.tex#Saving definitions.
Each view of a documentOpen_mult_views.tex shows the same set of definitions.