X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/206884ba366bc325051c0862756f2ad18ad94729..ccd7a4805a0486cb1bf38706c2872be36fb0fc8c:/mmath.m4

diff --git a/mmath.m4 b/mmath.m4
index 98584a3..eb6d07d 100644
--- a/mmath.m4
+++ b/mmath.m4
@@ -11,7 +11,7 @@ the degree of Master of Mathematics in Computer Science in Spring
 2020.  My research at the <a href="//watform.uwaterloo.ca">Waterloo
 Formal Methods</a> group focused on formal logic, model checking, and
 verification; under supervision of
-<a href="//cs.uwaterloo.ca/~nday/">Dr. Nancy Day</a>.</p>
+<a href="//cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>.</p>
 
 <h2>A Comprehensive Study of Declarative Modelling Languages</h2>
 dnl
@@ -24,7 +24,7 @@ dnl<a href="#models">models</a></p>
 
 <p>Reference version:
 <a href="//p.bndl.org/bandali-mmath-thesis.pdf">pdf</a> |
-<a href="bandali-bib#bandali2020">bib</a><br/>
+<a href="__p/bandali-bib.html#bandali2020">bib</a><br/>
 __latex sources:
 <a href="//p.bndl.org/bandali-mmath-thesis.tar.gz">tar.gz</a> |
 <a href="//p.bndl.org/bandali-mmath-thesis.zip">zip</a></p>