From 82118c1b522ba20c98f78d0a35e3bd6541497b67 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 14 Oct 2009 13:12:32 +0000 Subject: [PATCH] ... --- helm/software/matita/nlibrary/topology/igft.ma | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/helm/software/matita/nlibrary/topology/igft.ma b/helm/software/matita/nlibrary/topology/igft.ma index 270fbb9cd..f4cf037a5 100644 --- a/helm/software/matita/nlibrary/topology/igft.ma +++ b/helm/software/matita/nlibrary/topology/igft.ma @@ -29,6 +29,10 @@ 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. + Orienteering ------------ -- 2.39.2