Skip to content

Commit 1ff6083

Browse files
committedFeb 12, 2014
README update for SML97
1 parent 14cbab7 commit 1ff6083

File tree

1 file changed

+2
-5
lines changed

1 file changed

+2
-5
lines changed
 

‎README.md

+2-5
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,10 @@
11
The Definition of Standard ML
22
==========
33

4-
These sources are currently based on the SML90 version of the Definition of
4+
These sources correspond to the SML97 version of the Definition of
55
Standard ML. To build a PDF, perform the following steps in a terminal window:
66
```
7-
pdflatex root
8-
bibtex root
9-
pdflatex root
10-
pdflatex root
7+
latexmk -pdf root
118
```
129

1310
The file root.pdf will be produced.

0 commit comments

Comments
 (0)
Please sign in to comment.