[Agda] wiki spam

Andreas Abel abela at chalmers.se
Tue Feb 4 10:24:30 CET 2014


Who knows how to set the password?

On 04.02.2014 10:03, Patrik Jansson wrote:
> I just noticed that one [1] of the agda wiki pages has been receiving
> wiki spam for the last month.
> 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).
>
> [1]
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.QuickGuideToEditingTypeCheckingAndCompilingAgdaCode
>
> It would be great if somebody could go through the other pages as well.
>
> /Patrik
>
>
>
>
> January 27, 2014, at 04:08 AM by 182.253.49.24 -
> Changed lines 21-22 from:
> to:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> Added line 29:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 25, 2014, at 08:49 PM by 79.186.12.34 -
> Changed lines 21-22 from:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> to:
> Deleted line 27:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 21, 2014, at 03:56 AM by 182.253.49.133 -
> Changed lines 21-22 from:
> to:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> Added line 29:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 20, 2014, at 11:53 AM by sa - restore
> Changed lines 21-22 from:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> to:
> Deleted line 27:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 20, 2014, at 03:16 AM by 182.253.49.133 -
> Changed lines 21-22 from:
> to:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> Added line 29:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 16, 2014, at 06:36 PM by 83.21.254.248 -
> Changed lines 21-22 from:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> to:
> Deleted line 27:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 15, 2014, at 03:36 AM by 182.253.50.108 -
> Restore
> January 15, 2014, at 03:36 AM by 182.253.50.108 -
> Changed lines 21-22 from:
> to:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> Added line 29:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 13, 2014, at 06:32 PM by sa - restore
> Changed lines 21-22 from:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> to:
> Deleted line 27:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 13, 2014, at 04:53 AM by 182.253.48.144 -
> Changed lines 21-22 from:
> to:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> Added line 29:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 10, 2014, at 08:18 PM by 83.27.225.4 -
> Changed lines 21-22 from:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> to:
> Deleted line 27:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 10, 2014, at 03:04 AM by 182.253.48.7 -
> Changed lines 21-22 from:
> to:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> Added line 29:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 09, 2014, at 09:10 PM by sa - restore
> Changed lines 21-22 from:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> to:
> Deleted line 27:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 09, 2014, at 02:54 AM by 182.253.48.217 -
> Changed lines 21-22 from:
> to:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> Added line 29:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 06, 2014, at 08:35 PM by 83.22.134.159 - restore
> Changed lines 21-22 from:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> to:
> Deleted line 27:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 06, 2014, at 04:17 AM by 182.253.51.162 -
> Changed lines 21-22 from:
> to:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> Added line 29:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 03, 2014, at 03:44 PM by sa - restore
> Changed lines 21-22 from:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> to:
> Deleted line 27:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
> January 03, 2014, at 04:11 AM by 182.253.51.174 -
> Changed lines 21-22 from:
> to:
> [[http://www.mitracatur.com/product/cotton-sliver|Cotton sliver]],
> [[http://www.mitracatur.com/product/absorbent-cotton|Absorbent cotton]],
> [[http://www.mitracatur.com/product/cotton-bud|Cotton bud]]
> Added line 29:
> [[http://www.grosir-kosmetik.com/62-glutera.html|Glutera]],
> [[http://www.grosir-kosmetik.com/63-been-pink-beauty-series.html|Been pink]]
> Restore
>
> --
> Patrik Jansson, Professor of Computer Science,
> Head of Division, Software Technology,
> Department of Computer Science and Engineering,
> Chalmers U. of Tech. & U. of Gothenburg
> https://www.chalmers.se/cse/EN/people/jansson-patrik
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>



More information about the Agda mailing list