From 40dca69e4d757efab4dc40d4c06aec762a90a816 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 14 Oct 2009 13:45:33 +0000 Subject: [PATCH] ... --- helm/software/matita/nlibrary/topology/igft.ma | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 ------------ -- 2.39.2