Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /papers/modulespaper/dissertation/config.tex
ViewVC logotype

View of /papers/modulespaper/dissertation/config.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (download) (as text) (annotate)
Thu Sep 30 13:33:05 2010 UTC (8 years, 9 months ago) by dbm
File size: 621 byte(s)
initial import
\newcommand{\ie}{\emph{i.e.}}
\newcommand{\etal}{\emph{et al.}}
\newcommand{\chk}{\ding{51}}
\newcommand{\ex}{\ding{55}}

\lstdefinelanguage{smlnj}{morekeywords={where},}

\lstloadlanguages{ML,[Objective]caml,smlnj}
\lstset{basicstyle=\footnotesize\sffamily,
        columns=fullflexible,
        %keywordstyle=\underbar,
		basewidth=0.55em,
		language=ML,
                alsolanguage=smlnj,
		numberstyle=\tiny,
	    mathescape=true,
		%aboveskip=0pt,
		%belowskip=-10pt
                lineskip=-8pt
		}
\newenvironment{lstlistingsingle}
{\begin{singlespace}\begin{lstlisting}}
{\end{lstlisting}\end{singlespace}}

		

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0