doc-src/LaTeXsugar/Sugar/document/root.tex

 \documentclass[11pt,a4paper]{article}
-\usepackage{isabelle,isabellesym}
+\usepackage{../../../isabelle,../../../isabellesym}
 
 % further packages required for unusual symbols (see also isabellesym.sty)
 % use only when needed
 \usepackage{amssymb}                  % for \<leadsto>, \<box>, \<diamond>,
                                        % \<sqsupset>, \<mho>, \<Join>, 

 %\usepackage{textcomp}                 % for \<cent>, \<currency>
 
 \usepackage{mathpartir}
 
 % this should be the last package used
-\usepackage{pdfsetup}
+\usepackage{../../../pdfsetup}
 
 % urls in roman style, theory text in math-similar italics
 \urlstyle{rm}
 \isabellestyle{it}