Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add URL;
authorwenzelm
Tue, 26 Jun 2018 11:11:05 +0200
changeset 68504 3524d60b8f15
parent 68503 8d9239158d7a
child 68505 088780aa2b70
add URL;
src/Doc/manual.bib file | annotate | diff | comparison | revisions 
--- 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