# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1506454893 -3600
# Node ID 119c1a7b46ca39dbc2973dfa1767b6cc531148b2
# Parent  8e633f1d0d3897f05172d0366987ab36078b06bd
updated

diff -r 8e633f1d0d38 -r 119c1a7b46ca bsc-projects-17.html
--- a/bsc-projects-17.html	Tue Sep 26 11:14:38 2017 +0100
+++ b/bsc-projects-17.html	Tue Sep 26 20:41:33 2017 +0100
@@ -177,7 +177,7 @@
   Compilers translate high-level programs that humans can read and write into
   efficient machine code that can be run on a CPU or virtual machine.
   A compiler for a simple functional language generating X86 code is described
-  <A HREF="https://github.com/chameco/Shade">here</A>.
+  <A HREF="https://libraries.io/github/chameco/Shade">here</A>.
   I recently implemented a very simple compiler for an even simpler functional
   programming language following this 
   <A HREF="https://www.cs.princeton.edu/~dpw/papers/tal-toplas.pdf">paper</A> 
@@ -545,7 +545,7 @@
 </TABLE>
         
 <P>
-Time-stamp: <- 2017-09-15 11:23:33 by Christian Urban>
+Time-stamp: <- 2017-09-26 11:16:35 by Christian Urban>
 <a href="https://validator.w3.org/check/referer">[Validate this page.]</a>
 </P>
 </BODY>
diff -r 8e633f1d0d38 -r 119c1a7b46ca index.html
--- a/index.html	Tue Sep 26 11:14:38 2017 +0100
+++ b/index.html	Tue Sep 26 20:41:33 2017 +0100
@@ -152,7 +152,7 @@
 <B>Conferences</B>
 UNIF'06 (member of PC), 
 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), 
-<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), 
+LFMTP'08 (PC co-chair), 
 <A HREF="http://www.cis.upenn.edu/~sweirich/wmm/">WMM'08</A> (member of PC),
 <A HREF="http://www.mat.ufmg.br/lsfa2008/">LSFA'08</A> (invited speaker),
 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/TAASN.html">TAASN'09</A> (member of PC),
@@ -362,7 +362,7 @@
 
 </TABLE>
 <P>
-Time-stamp: <- 2017-09-15 11:24:51 by Christian Urban>
+Time-stamp: <- 2017-09-26 19:52:51 by Christian Urban>
 <a href="https://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>