From: Amin Bandali <bandali@gnu.org>
Date: Fri, 17 Jul 2020 04:02:20 +0000 (-0400)
Subject: add mmath thesis sources
X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/fcc5b13a58e980e00772e664d12f24690328069d?hp=ea39cfbe2bcedcc63c7d14bb0643064c5399e7a1

add mmath thesis sources
---

diff --git a/mmath.m4 b/mmath.m4
index 28c4138..561b179 100644
--- a/mmath.m4
+++ b/mmath.m4
@@ -2,31 +2,33 @@ 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>
 
-<p>I graduated from the University of Waterloo with 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.&nbspNancy&nbsp;A.&nbsp;Day</a>.</p>
+<p class="justify">I graduated from the University of Waterloo with
+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>
 
 <h2>A Comprehensive Study of Declarative Modelling Languages</h2>
-
-<!--<p><em>Jump to:</em>
-<a href="#thesis">thesis</a> |
-<a href="#presentation">presentation</a> |
-<a href="#models">models</a></p>-->
+dnl
+dnl<p><em>Jump to:</em>
+dnl<a href="#thesis">thesis</a> |
+dnl<a href="#presentation">presentation</a> |
+dnl<a href="#models">models</a></p>
 
 <h3 id="thesis">Thesis</h3>
 
 <p>Reference version:
 <a href="//p.bndl.org/bandali-mmath-thesis.pdf">pdf</a> |
-bib (coming soon)<br/>
-LaTeX sources:
-zip | tar.gz (coming soon)</p>
+<a href="//p.bndl.org/bandali-mmath-thesis.bib">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>
 
 <h4 class="center-text">Abstract</h4>
 <blockquote id="abstract">
@@ -68,12 +70,34 @@ recommendations based on our observations about the differentiating
 characteristics of each of these languages.</p>
 </blockquote>
 
+<h4>License</h4>
+
+<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
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+This thesis is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+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>
+
+<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
+the <code>COPYING</code> file included in both of the __latex source
+archives linked above.</p>
+
 <h3 id="presentation">Presentation</h3>
 
 <p>Reference version:
 pdf (coming soon)<br/>
-LaTeX sources:
-zip | tar.gz (coming soon)</p>
+__latex sources:
+tar.gz | zip (coming soon)</p>
 
 <p>This is the presentation I delivered to my supervisor and the
 second readers of my thesis on Jun 30, 2020, as
@@ -83,7 +107,7 @@ on the Cheriton School of Computer Science website.</p>
 <h3 id="models">Models</h3>
 
 <p>Reference version:
-zip | tar.gz (coming soon)</p>
+tar.gz | zip (coming soon)</p>
 </article>
 
 define(__copy, `2020')dnl
diff --git a/static/style.css b/static/style.css
index 6dfa97e..1036bbd 100644
--- a/static/style.css
+++ b/static/style.css
@@ -114,6 +114,30 @@ sub {
   top: 0.4em;
 }
 
+/* TeX logos */
+.t-logo {
+  font-family: "Tex Gyre Termes", serif;
+  /* letter-spacing: 1px; */
+  white-space: nowrap;
+}
+.t-logo sup {
+  font-size: 0.85em;
+  letter-spacing: 1px;
+  margin-left: -0.36em;
+  margin-right: -0.15em;
+  text-transform: uppercase;
+  vertical-align: 0.15em;
+  top: 0;
+}
+.t-logo sub {
+  font-size: 1em;
+  margin-left: -0.1667em;
+  margin-right: -0.125em;
+  text-transform: uppercase;
+  vertical-align: -0.5ex;
+  top: 0;
+}
+
 blockquote#abstract {
   font-size: 0.95em;
   text-align: justify;