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 /sml/trunk/src/cm/Doc/btcomp.tex
ViewVC logotype

View of /sml/trunk/src/cm/Doc/btcomp.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 743 - (download) (as text) (annotate)
Thu Dec 7 15:31:24 2000 UTC (18 years, 9 months ago) by blume
File size: 864 byte(s)
merging changes from private branch
% -*- latex -*-
\documentclass[titlepage,letterpaper]{article}
\usepackage{times}

\marginparwidth0pt\oddsidemargin0pt\evensidemargin0pt\marginparsep0pt
\topmargin0pt\advance\topmargin by-\headheight\advance\topmargin by-\headsep
\textwidth6.7in\textheight9.1in
\columnsep0.25in

\newcommand{\smlmj}{110}
\newcommand{\smlmn}{31}

\author{Matthias Blume \\
Research Institute for Mathematical Sciences \\
Kyoto University}

\title{{\bf CMB}\\
The SML/NJ Bootstrap Compiler \\
{\it\small (for SML/NJ version \smlmj.\smlmn~and later)} \\
User Manual}

\setlength{\parindent}{0pt}
\setlength{\parskip}{6pt plus 3pt minus 2pt}

\begin{document}

\bibliographystyle{alpha}

\maketitle

\pagebreak

\tableofcontents

\pagebreak

\input{01-bt-intro}
\input{02-bt-diffs}

\pagebreak

%\appendix

%\input{A-bt-xxx}

\pagebreak

\bibliography{blume,appel,ml}

\end{document}

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