fix two links

[~bandali/bndl.org] / mmath.m4

diff --git a/mmath.m4 b/mmath.m4
index 561b179..eb6d07d 100644 (file)
--- 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(__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>
 
 <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
 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
 
 <h2>A Comprehensive Study of Declarative Modelling Languages</h2>
 dnl


@@ -25,12 +24,13 @@ dnl<a href="#models">models</a></p>
 
 <p>Reference version:
 <a href="//p.bndl.org/bandali-mmath-thesis.pdf">pdf</a> |
 
 <p>Reference version:
 <a href="//p.bndl.org/bandali-mmath-thesis.pdf">pdf</a> |

-<a href="//p.bndl.org/bandali-mmath-thesis.bib">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>
 
 __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>
 

-<h4 class="center-text">Abstract</h4>
+<details>
+<summary>Abstract</summary>

 <blockquote id="abstract">
 <p>Declarative behavioural modelling is a powerful modelling paradigm
 that enables users to model system functionality abstractly and
 <blockquote id="abstract">
 <p>Declarative behavioural modelling is a powerful modelling paradigm
 that enables users to model system functionality abstractly and


@@ -69,9 +69,10 @@ may be most suited for modelling their system, we present
 recommendations based on our observations about the differentiating
 characteristics of each of these languages.</p>
 </blockquote>
 recommendations based on our observations about the differentiating
 characteristics of each of these languages.</p>
 </blockquote>

+</details>

 
 

-<h4>License</h4>
-
+<details open>
+<summary>License</summary>

 <pre>
 This thesis is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 <pre>
 This thesis is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by


@@ -86,6 +87,7 @@ GNU General Public License for more details.
 You should have received a copy of the GNU General Public License
 along with this thesis.  If not, see &lt;<a href="https://www.gnu.org/licenses/">https://www.gnu.org/licenses/</a>&gt;.
 </pre>
 You should have received a copy of the GNU General Public License
 along with this thesis.  If not, see &lt;<a href="https://www.gnu.org/licenses/">https://www.gnu.org/licenses/</a>&gt;.
 </pre>

+</details>

 
 <p>A copy of the GNU General Public License is available
 from <a href="gpl-3.0.html">gpl-3.0.html</a>, as well as in
 
 <p>A copy of the GNU General Public License is available
 from <a href="gpl-3.0.html">gpl-3.0.html</a>, as well as in