matita.cs.unibo.it Git - helm.git/blob - helm/interface/servers.txt.example

]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/servers.txt.example

projects / helm.git / blob

0a1221dde6efc29b05dba22c0061959a5d3532e1

[helm.git] / helm / interface / servers.txt.example

1 http://rigoletto.casamia.csc/helm1/coq

2 http://rigoletto.casamia.csc/helm2/coq

Unnamed repository; edit this file 'description' to name the repository.