X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2FSystemDescriptionMatita.html;h=ededf325cf5b0cd6c9932920a7119000f8272615;hb=8e0e2b06cfc3fb3116e1fce632d9897fdbac9895;hp=4ac62f4993c86ff7cda4d415117eae01528d8cfa;hpb=0e4dbb2c911e538fcb8c8260c7d3e2be1bcc5b1e;p=helm.git diff --git a/helm/software/components/binaries/matitaprover/SystemDescriptionMatita.html b/helm/software/components/binaries/matitaprover/SystemDescriptionMatita.html index 4ac62f499..ededf325c 100644 --- a/helm/software/components/binaries/matitaprover/SystemDescriptionMatita.html +++ b/helm/software/components/binaries/matitaprover/SystemDescriptionMatita.html @@ -1,5 +1,5 @@