X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Fnijmegen.xml;h=a8daab27375c2b181977a4a906fa4ce0c9ee5124;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=cba5de1f4e21c17da9e748630bb4b22d2ec05717;hpb=c1776b2d8e6d965d6e20fa1420efe2bc4fa9d596;p=helm.git

diff --git a/helm/mowgli/home/xml/sites/nijmegen.xml b/helm/mowgli/home/xml/sites/nijmegen.xml
index cba5de1f4..a8daab273 100644
--- a/helm/mowgli/home/xml/sites/nijmegen.xml
+++ b/helm/mowgli/home/xml/sites/nijmegen.xml
@@ -48,10 +48,11 @@
  <member file="nijmegen/geuvers"/>
  <member file="nijmegen/cohen"/>
  <member file="nijmegen/barendregt"/>
+ <member file="nijmegen/wiedijk"/>
+ <member file="nijmegen/barreiro"/>
+ <member file="nijmegen/cruz-filipe"/>
  <member file="nijmegen/niqui"/>
  <member file="nijmegen/stein"/>
- <member file="nijmegen/cruz-filipe"/>
- <member file="nijmegen/wiedijk"/>
  <member file="nijmegen/synek"/>
- <member file="nijmegen/barreiro"/>
+
 </site>