Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <urbanc@in.tum.de>
Wed, 21 Nov 2018 10:46:44 +0000
changeset 564 a19a6b924e29
parent 563 9d21149ba75c (current diff)
parent 561 dd530b36027c (diff)
child 565 39959c3b6f82
updated
--- a/teaching.html	Wed Nov 21 10:46:24 2018 +0000
+++ b/teaching.html	Wed Nov 21 10:46:44 2018 +0000
@@ -404,7 +404,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2003-2004</H3>
-<p><B>Michelmas</B>
+<p><B>Michealmas</B>
 <dl><dd>Logic and Proof (4h)
     <dd>Discrete Mathematics I (9h) 
     <dd>Part II project on a Nominal Theorem Assistant (5.5h)
@@ -439,7 +439,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2002-2003</H3>
-<p><B>Michelmas</B>
+<p><B>Michealmas</B>
 <dl><dd>Logic and Proof (5h)
     <dd>Discrete Mathematics I (7h)
     <dd>Part II project on Nominal Unification (7h)
@@ -461,7 +461,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF"  WIDTH="75%">
 <H3>2001-2002</H3>
-<p><B>Michelmas</B>
+<p><B>Michealmas</B>
 <dl><dd> Logic, Computability and Set Theory (for Math students)
     <dd>Data Structures and Algorithms
     <dd>Logic and Proof (4h)
public_html