X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/573bd43bf84ddbd09ffc252df00363a2a6640fca..1b0d98a1040ccac430fcef6ec30a68748a5b1c7a:/mmath.m4?ds=sidebyside

diff --git a/mmath.m4 b/mmath.m4
index 83e0dde..eb6d07d 100644
--- a/mmath.m4
+++ b/mmath.m4
@@ -2,7 +2,6 @@ dnl -*- html -*-
 define(__title, `Master of Mathematics')dnl
 define(__slug, `mmath')dnl
 include(header.html)dnl
-define(__latex, `<span class="t-logo">L<sup>a</sup>T<sub>e</sub>X</span>')dnl
 
 <article>
 <h1>Master of Mathematics</h1>
@@ -12,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
@@ -25,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>