X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fservers.txt;h=a0375acd1a84412eda2ebcc4b3a753c755c5db8f;hb=e6a36a24f7c27739067073172a387b85cd0a6c5c;hp=b91a715225d86e6a04c0f6a1cde4bb7b3c184402;hpb=60e11bd6b405601316548ec7b063e3fb59bd4d07;p=helm.git

diff --git a/helm/interface/servers.txt b/helm/interface/servers.txt
index b91a71522..a0375acd1 100644
--- a/helm/interface/servers.txt
+++ b/helm/interface/servers.txt
@@ -1,2 +1,3 @@
+http://cadet/helm
 http://caristudenti.students.cs.unibo.it/~sacerdot/helm
 http://pagadebit.students.cs.unibo.it/really_very_local/helm/PARSER/examples