]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/servers.txt.universita
Initial revision
[helm.git] / helm / interface / servers.txt.universita
diff --git a/helm/interface/servers.txt.universita b/helm/interface/servers.txt.universita
new file mode 100755 (executable)
index 0000000..c24a58c
--- /dev/null
@@ -0,0 +1,2 @@
+http://phd.cs.unibo.it/helm/PARSER/examples
+http://caristudenti.students.cs.unibo.it/~sacerdot/helm