From: Jim Pryor <profjim@jimpryor.net>
Date: Wed, 15 Sep 2010 21:49:09 +0000 (-0400)
Subject: Merge branch 'pryor'
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=1915897e1ad86830751b427f898b5512c1a3a05c;hp=d20d0076c870d6700c489ebda7c1c9df6d80df9d

Merge branch 'pryor'
---

diff --git a/week1.mdwn b/week1.mdwn
index 0122ed9b..78a808b6 100644
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -101,24 +101,24 @@ Map
 
 <table>
 <tr>
-<td>Scheme (functional part)</td>
-<td>OCaml (functional part)</td>
-<td>C, Java, Pasval<br>
+<td width=30%>Scheme (functional part)</td>
+<td width=30%>OCaml (functional part)</td>
+<td width=30%>C, Java, Pasval<br>
 Scheme (imperative part)<br>
 OCaml (imperative part)</td>
 <tr>
-<td>lambda calculus<br>
+<td width=30%>lambda calculus<br>
 combinatorial logic</td>
 <tr>
-<td colspan=3>--------- Turing complete ---------</td>
+<td colspan=3>------------------------ Turing complete ---------------------</td>
 <tr>
-<td>&nbsp;
-<td>more advanced type systems, such as polymorphic types
-<td>&nbsp;
+<td width=30%>&nbsp;
+<td width=30%>more advanced type systems, such as polymorphic types
+<td width=30%>&nbsp;
 <tr>
-<td>&nbsp;
-<td>simply-typed lambda calculus (what linguists mostly use)
-<td>&nbsp;
+<td width=30%>&nbsp;
+<td width=30%>simply-typed lambda calculus (what linguists mostly use)
+<td width=30%>&nbsp;
 </table>