# HG changeset patch
# User wenzelm
# Date 1530004265 -7200
# Node ID 3524d60b8f158072d561a0b32f9b5a80cb6a28c1
# Parent  8d9239158d7a294de3e3b895680aa02b8b01c9e9
add URL;

diff -r 8d9239158d7a -r 3524d60b8f15 src/Doc/manual.bib
--- a/src/Doc/manual.bib	Tue Jun 26 11:10:47 2018 +0200
+++ b/src/Doc/manual.bib	Tue Jun 26 11:11:05 2018 +0200
@@ -1613,7 +1613,8 @@
   title		= {{ML} for the Working Programmer},
   year		= 1996,
   edition	= {2nd},
-  publisher	= CUP}
+  publisher	= CUP,
+  note = {\url{https://www.cl.cam.ac.uk/~lp15/MLbook}}}
 
 @article{paulson-natural,
   author	= {Lawrence C. Paulson},