X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=6f96a5c941e753308da8af4ea8801fc053be1593;hb=449295993c1fb0732fd5b14a570f8c5260653164;hp=c2423c36f2684acc85a2b3e9aa965b55ebab2ddc;hpb=25592452b14808ddddcb5bf16b91c8c184be249f;p=helm.git diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index c2423c36f..6f96a5c94 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -69,7 +69,7 @@

Nightly builds

- A build of the Debian package is performed every night, and a live CD containing that version also is built. + A build of the Debian package is performed every night, and a live CD containing that version is also built. You can download this experimental live CD, or add the Debian repository to your apt configuration file: