# HG changeset patch
# User haftmann
# Date 1501612719 -7200
# Node ID 50ed697e97f17fc10c200b08da87528ea6d3d86f
# Parent  13b051ebc6c574cf5690d0ea10e5c5622b39c5ee
tuned references

diff -r 13b051ebc6c5 -r 50ed697e97f1 src/Doc/manual.bib
--- a/src/Doc/manual.bib	Wed Aug 02 16:31:42 2017 +0200
+++ b/src/Doc/manual.bib	Tue Aug 01 20:38:39 2017 +0200
@@ -775,7 +775,7 @@
 
 @inproceedings{Haftmann-Kraus-Kuncar-Nipkow:2013:data_refinement,
   author =      {Florian Haftmann and Alexander Krauss and Ond\v{r}ej Kun\v{c}ar and Tobias Nipkow},
-  title =       {Data Refinement in Isabelle/HOL},
+  title =       {Data Refinement in {Isabelle/HOL}},
   booktitle =   {Interactive Theorem Proving (ITP 2013)},
   pages =       {100-115},
   year =        2013,
@@ -1412,7 +1412,7 @@
 %O
 
 @TechReport{scala-overview-tech-report,
-  author =       {Martin Odersky and al.},
+  author =       {Martin Odersky et al.},
   title =        {An Overview of the Scala Programming Language},
   institution =  {EPFL Lausanne, Switzerland},
   year =         2004,