# HG changeset patch # User Armin Rigo <arigo@tunes.org> # Date 1389089998 -3600 # Tue Jan 07 11:19:58 2014 +0100 # Branch extradoc # Node ID f42fa77b8576c40e1dd206af2ff7de387981b4e4 # Parent 6f9a9faa137a717e5172046391cb8bdd65a39fff Fix my resume diff --git a/people.html b/people.html --- a/people.html +++ b/people.html @@ -48,7 +48,7 @@ <div class="section" id="armin-rigo"> <h1>Armin Rigo</h1> <img alt="image/people/arigo.png" src="image/people/arigo.png" /> -<p>Armin Rigo is a researcher at the Heinrich-Heine Universitat +<p>Armin Rigo is a former researcher at the Heinrich-Heine Universitat Dusseldorf (Germany). He studied Mathematics at the University of Lausanne (Switzerland), obtained his Ph.D. in Logic and Set Theory at the Free University of Brussels (Belgium) in 2002, and diff --git a/source/people.txt b/source/people.txt --- a/source/people.txt +++ b/source/people.txt @@ -8,7 +8,7 @@ .. image:: image/people/arigo.png -Armin Rigo is a researcher at the Heinrich-Heine Universitat +Armin Rigo is a former researcher at the Heinrich-Heine Universitat Dusseldorf (Germany). He studied Mathematics at the University of Lausanne (Switzerland), obtained his Ph.D. in Logic and Set Theory at the Free University of Brussels (Belgium) in 2002, and