From: Enrico Tassi Date: Wed, 14 Oct 2009 13:45:33 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~3300 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=40dca69e4d757efab4dc40d4c06aec762a90a816;p=helm.git ... --- diff --git a/helm/software/matita/nlibrary/topology/igft.ma b/helm/software/matita/nlibrary/topology/igft.ma index f4cf037a5..d0068dbf7 100644 --- a/helm/software/matita/nlibrary/topology/igft.ma +++ b/helm/software/matita/nlibrary/topology/igft.ma @@ -29,9 +29,9 @@ is coexisting with the old one in every development release (named "nightly builds" in the download page of Matita) with a version strictly greater than 0.5.7. -To read this tutorial in the HTML version, you need a decent browser -equipped with a unicode capable font. Use the PDF version if some -symbols are not correctly displayed. +To read this tutorial in HTML format, you need a decent browser +equipped with a unicode capable font. Use the PDF format if some +symbols are not displayed correctly. Orienteering ------------