1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
\documentclass{article}
\usepackage{mltex}
\usepackage{wrapfig}
\usepackage{float}
%\usepackage{floatfig}
\usepackage{fancyheadings}
%\usepackage{draftcopy}
%\usepackage{bookman}
\usepackage{utopia}
%\usepackage{times}
%\usepackage{ncntrsbk}
%\usepackage{palatino}
\setlength{\textwidth}{6.5in}
\setlength{\evensidemargin}{0in}
\setlength{\oddsidemargin}{0in}
\setlength{\textheight}{8in}
\setlength{\topmargin}{-0.5in}
\pagestyle{fancyplain}
%\addtolength{\headwidth}{\marginparsep}
%\addtolength{\headwidth}{\marginparwidth}
\newcommand{\edge}[1]{\rightarrow_{#1}}
\newcommand{\union}{\cup}
\newcommand{\Union}{\bigcup}
\newcommand{\overrides}{overrides}
\newcommand{\defas}{\stackrel{\rm as}{=}}
\renewcommand{\sectionmark}[1]{\markright{\thesection\ #1}}
\renewcommand{\subsectionmark}[1]{\markright{\thesubsection\ #1}}
\newcommand{\Term}[1]{\mbox{\it #1}}
\lhead[\fancyplain{}{\bfseries\thepage}]%
{\fancyplain{}{\bfseries\rightmark}}
\rhead[\fancyplain{}{\bfseries\leftmark}]%
{\fancyplain{}{\bfseries\thepage}}
\cfoot{}
\newenvironment{Figure}{\begin{figure}[htbp]}{\end{figure}}
\begin{document}
\title{\bf \LARGE \MLTeX}
\author{\begin{tabular}{c}
Allen Leung \\ \\
New York University \\
719 Broadway, Rm. 714 \\
New York, NY 10003. \\
{\tt leunga@cs.nyu.edu}
\end{tabular}
\and
\begin{tabular}{c}
Lal George \\ \\
Bell Laboratories \\
600--700 Mountain Ave. \\
Murray Hill, NJ 07974--0636. \\
{\tt george@research.bell-labs.com}
\end{tabular}
}
\date{\today}
\bibliographystyle{alpha}
\maketitle
\begin{abstract}
\newdef{\MLTeX} is a special \newdef{\LaTeX} package for writing
\MLRISC{} documentation. It is similar to the \newdef{latex2html}
tool except that \MLTeX{} has special environments for documenting
Standard ML code. In addition, there is an accompanying tool
called \newdef{mltex2html} for generating HTML pages.
\end{abstract}
\include{mltex}
\bibliography{mlrisc}
\end{document}
|
