<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif; "><div>Maybe we should change the password.</div><div><br></div><div>Thorsten</div><div><br></div><span id="OLK_SRC_BODY_SECTION"><div style="font-family:Calibri; font-size:11pt; text-align:left; color:black; BORDER-BOTTOM: medium none; BORDER-LEFT: medium none; PADDING-BOTTOM: 0in; PADDING-LEFT: 0in; PADDING-RIGHT: 0in; BORDER-TOP: #b5c4df 1pt solid; BORDER-RIGHT: medium none; PADDING-TOP: 3pt"><span style="font-weight:bold">From: </span> Patrik Jansson &lt;<a href="mailto:patrikj@chalmers.se">patrikj@chalmers.se</a>&gt;<br><span style="font-weight:bold">Date: </span> Tue, 4 Feb 2014 09:03:31 +0000<br><span style="font-weight:bold">To: </span> Agda-listan &lt;<a href="mailto:agda@lists.chalmers.se">agda@lists.chalmers.se</a>&gt;<br><span style="font-weight:bold">Subject: </span> [Agda] wiki spam<br></div><div><br></div><blockquote id="MAC_OUTLOOK_ATTRIBUTION_BLOCKQUOTE" style="BORDER-LEFT: #b5c4df 5 solid; PADDING:0 0 0 5; MARGIN:0 0 0 5;"><div dir="ltr"><div>I just noticed that one [1] of the agda wiki pages has been receiving wiki spam for the last month.&nbsp;</div><div>I reverted it, but I guess it means other pages may be similar and that some protection is needed (for example by changing the password).</div><div><br></div><div>[1] <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.QuickGuideToEditingTypeCheckingAndCompilingAgdaCode">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.QuickGuideToEditingTypeCheckingAndCompilingAgdaCode</a><br></div><div><br></div><div>It would be great if somebody could go through the other pages as well.</div><div><br></div><div>/Patrik</div><div><br></div><div><br></div><div><br></div><div><br></div><div>January 27, 2014, at 04:08 AM by 182.253.49.24 -</div><div>Changed lines 21-22 from:</div><div>to:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>Added line 29:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 25, 2014, at 08:49 PM by 79.186.12.34 -</div><div>Changed lines 21-22 from:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>to:</div><div>Deleted line 27:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 21, 2014, at 03:56 AM by 182.253.49.133 -</div><div>Changed lines 21-22 from:</div><div>to:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>Added line 29:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 20, 2014, at 11:53 AM by sa - restore</div><div>Changed lines 21-22 from:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>to:</div><div>Deleted line 27:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 20, 2014, at 03:16 AM by 182.253.49.133 -</div><div>Changed lines 21-22 from:</div><div>to:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>Added line 29:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 16, 2014, at 06:36 PM by 83.21.254.248 -</div><div>Changed lines 21-22 from:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>to:</div><div>Deleted line 27:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 15, 2014, at 03:36 AM by 182.253.50.108 -</div><div>Restore</div><div>January 15, 2014, at 03:36 AM by 182.253.50.108 -</div><div>Changed lines 21-22 from:</div><div>to:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>Added line 29:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 13, 2014, at 06:32 PM by sa - restore</div><div>Changed lines 21-22 from:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>to:</div><div>Deleted line 27:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 13, 2014, at 04:53 AM by 182.253.48.144 -</div><div>Changed lines 21-22 from:</div><div>to:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>Added line 29:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 10, 2014, at 08:18 PM by 83.27.225.4 -</div><div>Changed lines 21-22 from:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>to:</div><div>Deleted line 27:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 10, 2014, at 03:04 AM by 182.253.48.7 -</div><div>Changed lines 21-22 from:</div><div>to:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>Added line 29:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 09, 2014, at 09:10 PM by sa - restore</div><div>Changed lines 21-22 from:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>to:</div><div>Deleted line 27:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 09, 2014, at 02:54 AM by 182.253.48.217 -</div><div>Changed lines 21-22 from:</div><div>to:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>Added line 29:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 06, 2014, at 08:35 PM by 83.22.134.159 - restore</div><div>Changed lines 21-22 from:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>to:</div><div>Deleted line 27:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 06, 2014, at 04:17 AM by 182.253.51.162 -</div><div>Changed lines 21-22 from:</div><div>to:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>Added line 29:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 03, 2014, at 03:44 PM by sa - restore</div><div>Changed lines 21-22 from:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>to:</div><div>Deleted line 27:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div>January 03, 2014, at 04:11 AM by 182.253.51.174 -</div><div>Changed lines 21-22 from:</div><div>to:</div><div>[[<a href="http://www.mitracatur.com/product/cotton-sliver|Cotton">http://www.mitracatur.com/product/cotton-sliver|Cotton</a> sliver]], [[<a href="http://www.mitracatur.com/product/absorbent-cotton|Absorbent">http://www.mitracatur.com/product/absorbent-cotton|Absorbent</a> cotton]], [[<a href="http://www.mitracatur.com/product/cotton-bud|Cotton">http://www.mitracatur.com/product/cotton-bud|Cotton</a> bud]]</div><div>Added line 29:</div><div>[[<a href="http://www.grosir-kosmetik.com/62-glutera.html|Glutera]">http://www.grosir-kosmetik.com/62-glutera.html|Glutera]</a>], [[<a href="http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been">http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been</a> pink]]</div><div>Restore</div><div><br></div>-- <br><div dir="ltr"><div>Patrik Jansson, Professor of Computer Science,&nbsp;<br></div><div>Head of Division, Software Technology,&nbsp;</div><div>Department of Computer Science and Engineering,</div><div>Chalmers U. of Tech. &amp; U. of Gothenburg</div><a href="https://www.chalmers.se/cse/EN/people/jansson-patrik" target="_blank">https://www.chalmers.se/cse/EN/people/jansson-patrik</a><br><div><br></div></div></div></blockquote></span>
<br><p>This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it.&nbsp;&nbsp; Please do not use, copy or disclose the information contained in this message or in any attachment.&nbsp; Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham.</p><p>This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.</p>
<br></body></html>