diff options
Diffstat (limited to 'content.org')
-rw-r--r-- | content.org | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/content.org b/content.org index 4c2ba15..23b9dc4 100644 --- a/content.org +++ b/content.org @@ -10,7 +10,8 @@ :EXPORT_FILE_NAME: _index :END: -#+html: <img src="/images/portrait.jpg" alt="Profile picture" class="profile-picture" /> +#+attr_html: :alt Profile picture :width 200 :height 200 :class profile-picture +[[./static/images/portrait.jpg]] Hi! I'm currently a PhD student in the Circuits and Systems group at Imperial College London, supervised by [[https://johnwickerson.github.io][John Wickerson]]. @@ -732,7 +733,7 @@ We then have the following Nix derivation which should download =Vellvm= and bui src = ./.; buildInputs = [ git coq ocamlPackages.menhir dune coqPackages.flocq - coqPackages.coq-ext-lib coqPackages.paco + coqPackages.coq-ext-lib coqPackages.paco coqPackages.ceres ocaml ]; buildPhase = '' |