@ -69,8 +69,8 @@
</div>
<div>
<a href="shell.html" target="shell">shell</a>
<a href="https://pad.xpub.nl/p/radio_implicancies_12.3" target="shell">etherpad</a>
<p><a href="shell.html" target="shell">shell</a>
<a href="https://pad.xpub.nl/p/radio_implicancies_12.3" target="shell">etherpad</a></p>
<div id="shell_03"><iframe name="shell"></iframe></div>
<div id="info"><div id="title"></div><div id="authors"></div>