<div dir="ltr"><div>I just noticed that one [1] of the agda wiki pages has been receiving wiki spam for the last month. </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, <br></div><div>Head of Division, Software Technology, </div><div>Department of Computer Science and Engineering,</div>
<div>Chalmers U. of Tech. & 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>