X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Fmatita%2Flibrary.shtml;h=e5aa7316e315c3866df00667cde42928cbcb5c4e;hb=cb063199a8fa9d492fec1df64ddcad4503f0c9ee;hp=c42fa673bd0fd87dcab5afe1841e23771fdbab47;hpb=6f1ff411787de5d4a93e7fcd6969c8d7545181b3;p=helm.git diff --git a/helm/www/matita/library.shtml b/helm/www/matita/library.shtml index c42fa673b..e5aa7316e 100644 --- a/helm/www/matita/library.shtml +++ b/helm/www/matita/library.shtml @@ -12,11 +12,12 @@
- The scripts used to generate the knowledge base of - Matita can be browsed on line. + The scripts used to generate the knowledge base of + Matita can be browsed on line.
- The experimental scripts for the next major version of Matita can also be browsed on line. + (Old scripts used in the previous releases of + Matita are still available.)