\lstset{tabsize=2,frame=single,basicstyle=\tiny,lineskip=3pt}
\section{lib}\label{scripts-src-lib}
\lstinputlisting[language=python,title=lib/lisp/utils.py,firstline=0]{scripts/lib/lisp/utils.py}
\lstinputlisting[language=python,title=lib/xomo/utils.py,firstline=0]{scripts/lib/xomo/utils.py}
\lstinputlisting[language=python,title=lib/xomo/lisp/casestudy.py,firstline=0]{scripts/lib/xomo/lisp/casestudy.py}
\lstinputlisting[language=python,title=lib/xomo/verify/cocomo2000web.py,firstline=0]{scripts/lib/xomo/verify/cocomo2000web.py}
\lstinputlisting[language=python,title=lib/xomo/verify/coqualmo.py,firstline=0]{scripts/lib/xomo/verify/coqualmo.py}
\newpage
\section{verify-xomo}\label{scripts-src-verify-xomo}
\lstinputlisting[language=bash,title=verify-xomo/verify-xomo-shell.sh,firstline=0]{scripts/verify-xomo/verify-xomo-shell.sh}
\lstinputlisting[language=python,title=verify-xomo/verify-xomo.py,firstline=0]{scripts/verify-xomo/verify-xomo.py}
\newpage
\section{casestudies-csv2nova}\label{scripts-src-casestudies-csv2nova}
\lstinputlisting[language=python,title=casestudies-csv2nova/casestudies-csv2nova.py,firstline=0]{scripts/casestudies-csv2nova/casestudies-csv2nova.py}
\lstinputlisting[language=bash,title=casestudies-csv2nova/csv2nova.sh,firstline=0]{scripts/casestudies-csv2nova/csv2nova.sh}
\newpage
\section{casestudies-star2nova}\label{scripts-src-casestudies-star2nova}
\lstinputlisting[language=python,title=casestudies-star2nova/casestudies-star2nova.py,firstline=0]{scripts/casestudies-star2nova/casestudies-star2nova.py}
\lstinputlisting[language=bash,title=casestudies-star2nova/now-10-20.sh,firstline=0]{scripts/casestudies-star2nova/now-10-20.sh}
\lstinputlisting[language=bash,title=casestudies-star2nova/star2nova.sh,firstline=0]{scripts/casestudies-star2nova/star2nova.sh}
\newpage
