Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Commit6841a36

Browse files
committed
more typos fixed
1 parent204690a commit6841a36

File tree

15 files changed

+823
-368
lines changed

15 files changed

+823
-368
lines changed

‎.statcor.tex.swp‎

16 KB
Binary file not shown.

‎intro.aux‎

Lines changed: 9 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
\relax
2-
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
3-
\@writefile{loc}{\contentsline {subsection}{Replaced\nobreakspace {}(SuccML):\truncate {.3\textwidth }{Successor }}{1}}
4-
\@writefile{loc}{\contentsline {subsection}{Added\nobreakspace {}(SuccML):\truncate {.3\textwidth }{It is derived from the 1997\emph {Definition of Standard ML} by adding the changes suggested by Andreas Rossberg in the HaMLet S documentation.}}{1}}
5-
\citation{sml-basis-lib}
2+
\providecommand\hyper@newdestlabel[2]{}
3+
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
4+
\@writefile{loc}{\contentsline {subsection}{Replaced\nobreakspace {}(SuccML):\truncate {.3\textwidth }{Successor }}{1}{section.1}}
5+
\@writefile{loc}{\contentsline {subsection}{Added\nobreakspace {}(SuccML):\truncate {.3\textwidth }{It is derived from the 1997\emph {Definition of Standard ML} by adding the changes suggested by Andreas Rossberg in the HaMLet S documentation.}}{1}{section.1}}
66
\@setckpt{intro}{
77
\setcounter{page}{3}
88
\setcounter{equation}{0}
@@ -20,7 +20,10 @@
2020
\setcounter{subparagraph}{0}
2121
\setcounter{figure}{0}
2222
\setcounter{table}{0}
23-
\setcounter{changeno}{16}
23+
\setcounter{Item}{0}
24+
\setcounter{Hfootnote}{0}
25+
\setcounter{bookmark@seq@number}{1}
26+
\setcounter{changeno}{15}
2427
\setcounter{fixtypos}{1}
2528
\setcounter{noimptypes}{1}
2629
\setcounter{typabbr}{1}
@@ -59,4 +62,5 @@
5962
\setcounter{Changes@DeleteCountSuccML}{1}
6063
\setcounter{Changes@ReplaceCountSuccML}{2}
6164
\setcounter{saveeqn}{0}
65+
\setcounter{section@level}{1}
6266
}

‎mac.aux‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
\relax
2+
\providecommand\hyper@newdestlabel[2]{}
23
\@setckpt{mac}{
34
\setcounter{page}{1}
45
\setcounter{equation}{0}
@@ -16,6 +17,9 @@
1617
\setcounter{subparagraph}{0}
1718
\setcounter{figure}{0}
1819
\setcounter{table}{0}
20+
\setcounter{Item}{0}
21+
\setcounter{Hfootnote}{0}
22+
\setcounter{bookmark@seq@number}{0}
1923
\setcounter{changeno}{0}
2024
\setcounter{fixtypos}{1}
2125
\setcounter{noimptypes}{1}

‎preface.aux‎

Lines changed: 9 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
\relax
2+
\providecommand\hyper@newdestlabel[2]{}
23
\citation{paulson96}
34
\citation{mcp93}
45
\citation{Ullman94}
@@ -7,11 +8,11 @@
78
\citation{sml97-definition}
89
\citation{sml-basis-lib}
910
\citation{hamlet-s}
10-
\@writefile{loc}{\contentsline {subsection}{Deleted\nobreakspace {}(SuccML):\truncate {.3\textwidth }{grayed and struck out}}{xii}}
11-
\@writefile{loc}{\contentsline {subsection}{Added\nobreakspace {}(FixSML):\truncate {.3\textwidth }{rendered in blue text}}{xii}}
12-
\@writefile{loc}{\contentsline {subsection}{Added\nobreakspace {}(SuccML):\truncate {.3\textwidth }{rendered in magenta}}{xii}}
11+
\@writefile{loc}{\contentsline {subsection}{Deleted\nobreakspace {}(SuccML):\truncate {.3\textwidth }{grayed and struck out}}{xi}{section*.6}}
12+
\@writefile{loc}{\contentsline {subsection}{Added\nobreakspace {}(FixSML):\truncate {.3\textwidth }{rendered in blue text}}{xi}{section*.6}}
13+
\@writefile{loc}{\contentsline {subsection}{Added\nobreakspace {}(SuccML):\truncate {.3\textwidth }{rendered in magenta}}{xi}{section*.6}}
1314
\@setckpt{preface}{
14-
\setcounter{page}{13}
15+
\setcounter{page}{12}
1516
\setcounter{equation}{0}
1617
\setcounter{enumi}{0}
1718
\setcounter{enumii}{0}
@@ -27,6 +28,9 @@
2728
\setcounter{subparagraph}{0}
2829
\setcounter{figure}{0}
2930
\setcounter{table}{0}
31+
\setcounter{Item}{0}
32+
\setcounter{Hfootnote}{0}
33+
\setcounter{bookmark@seq@number}{0}
3034
\setcounter{changeno}{12}
3135
\setcounter{fixtypos}{1}
3236
\setcounter{noimptypes}{1}
@@ -66,4 +70,5 @@
6670
\setcounter{Changes@DeleteCountSuccML}{1}
6771
\setcounter{Changes@ReplaceCountSuccML}{1}
6872
\setcounter{saveeqn}{0}
73+
\setcounter{section@level}{0}
6974
}

‎root.aux‎

Lines changed: 639 additions & 17 deletions
Large diffs are not rendered by default.

‎root.bbl‎

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
\begin{thebibliography}{1}
2+
3+
\bibitem{sml-basis-lib}
4+
Emden~R. Gansner and John~H. Reppy, editors.
5+
\newblock {\em The {Standard} {ML} Basis Library}.
6+
\newblock Cambridge University Press, Cambridge, England, 2004.
7+
8+
\bibitem{sml97-definition}
9+
Robin Milner, Mads Tofte, Robert Harper, and David MacQueen.
10+
\newblock {\em The Definition of Standard {ML} --- Revised 1997}.
11+
\newblock The {MIT} Press, Cambridge, MA, 1997.
12+
13+
\bibitem{mcp93}
14+
Colin Myers, Chris Clack, and Ellen Poon.
15+
\newblock {\em Programming with Standard ML}.
16+
\newblock Prentice Hall, 1993.
17+
18+
\bibitem{paulson96}
19+
Lawrence~C. Paulson.
20+
\newblock {\em ML for the Working Programmer (2nd edition)}.
21+
\newblock Cambridge University Press, 1996.
22+
23+
\bibitem{hamlet-s}
24+
Andreas Rossberg.
25+
\newblock {HaMLet S}: To become or not to become successor ml.
26+
\newblock Available from
27+
\url{http://www.mpi-sws.org/~rossberg/hamlet/hamlet-succ-1.3.1S5.pdf}, 04
28+
2008.
29+
30+
\bibitem{stansifer92}
31+
Ryan Stansifer.
32+
\newblock {\em ML Primer}.
33+
\newblock Prentice Hall, 1992.
34+
35+
\bibitem{Ullman94}
36+
Jeffrey~D. Ullman.
37+
\newblock {\em Elements of {ML} Programming}.
38+
\newblock Prentice Hall, 1994.
39+
40+
\end{thebibliography}

0 commit comments

Comments
 (0)
[8]ページ先頭
©2009-2025 Movatter.jp