From 1ff6083072c27b21e0e20395c20e629dfe0d6494 Mon Sep 17 00:00:00 2001 From: Lars Bergstrom Date: Wed, 12 Feb 2014 09:10:06 -0600 Subject: [PATCH] README update for SML97 --- README.md | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index a920c59..610738d 100644 --- a/README.md +++ b/README.md @@ -1,13 +1,10 @@ The Definition of Standard ML ========== -These sources are currently based on the SML90 version of the Definition of +These sources correspond to the SML97 version of the Definition of Standard ML. To build a PDF, perform the following steps in a terminal window: ``` -pdflatex root -bibtex root -pdflatex root -pdflatex root +latexmk -pdf root ``` The file root.pdf will be produced.