Module: ppl/w3ppl Branch: master Commit: cf0d064e5330d051e1ae570d2f583cc4299eb5a5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=cf0d064e533...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 14 11:56:40 2009 +0200
Corrected a few typos.
---
htdocs/Applications/Applications.raw | 2 +- htdocs/Documentation/how_to_get_it.raw | 2 +- htdocs/FAQ.raw | 2 +- htdocs/MailingLists/MailingLists.raw | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/htdocs/Applications/Applications.raw b/htdocs/Applications/Applications.raw index 05eab76..db120d1 100644 --- a/htdocs/Applications/Applications.raw +++ b/htdocs/Applications/Applications.raw @@ -28,7 +28,7 @@ Here are the ones we are aware of. (Middle End Lisp Translator), an experimental branch of <A HREF="http://gcc.gnu.org/">GCC</A> (the GNU Compiler Collection), will use the Parma Polyhedra Library for global - static analyis. + static analysis. </LI> <P> <LI> diff --git a/htdocs/Documentation/how_to_get_it.raw b/htdocs/Documentation/how_to_get_it.raw index 2b15cfc..1ec2ff5 100644 --- a/htdocs/Documentation/how_to_get_it.raw +++ b/htdocs/Documentation/how_to_get_it.raw @@ -118,7 +118,7 @@ In order to do that, you should have recent versions of <A HREF="http://www.doxygen.org/">Doxygen</A> and <A HREF="http://www.research.att.com/sw/tools/graphviz/">Graphviz</A> (you will also need <code>ocamldoc</code> if you plan to build the -OCaml interface manauls). +OCaml interface manuals). When you have all the tools installed and running, you should follow the following procedure.
diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw index 71b6eb9..76e95f4 100644 --- a/htdocs/FAQ.raw +++ b/htdocs/FAQ.raw @@ -86,7 +86,7 @@ our answers are unclear or not to the point. <BR> <B>A:</B> It is `<EM><STRONG>Parma Polyhedra Library</STRONG></EM>', -spelled exactly as indicated and possibly abbrieviated with +spelled exactly as indicated and possibly abbreviated with the acronym `<EM><STRONG>PPL</STRONG></EM>'. In particular, the name of the library is <STRONG>neither</STRONG> `<S>Parma</S>' (which is, instead, the name of the nice town in diff --git a/htdocs/MailingLists/MailingLists.raw b/htdocs/MailingLists/MailingLists.raw index c48f87b..8a3db23 100644 --- a/htdocs/MailingLists/MailingLists.raw +++ b/htdocs/MailingLists/MailingLists.raw @@ -42,7 +42,7 @@ and </H2>
This is the the mailing list where all the messages concerning the -development of the PPL shoud be directed: technical issues, bug +development of the PPL should be directed: technical issues, bug reports, users' feedback, clarifications on the use of the library or requests for new features... all these should be sent to the list (and not to individual developers).