Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/manual.bib
changeset 68504 3524d60b8f15
parent 67605 3dd0dfe04fcb
child 68649 f849fc1cb65e 
--- 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},
isabelle