more direct use of latex tools: avoid diversion into "isabelle latex -o pdf" and its confusion of ISABELLE_PDFLATEX vs. ISABELLE_LUALATEX;
clarified ISABELLE_MAKEINDEX options;
theory
Multivariate_Analysis
imports
Ordered_Euclidean_Space
Determinants
Cross3
Lipschitz
Starlike
begin
text \<open>Entry point excluding integration and complex analysis.\<close>
end