[Agda] wiki spam

[Patrik Jansson]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140204/92af84f0/attachment-0001.html