[GIT] ppl/w3ppl(master): Typo fixed.

7 Sep 2010

Module: ppl/w3ppl
Branch: master
Commit: 18820851af0700fd46dfda107229fd57d415382a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=18820851af0...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Sep  7 14:10:15 2010 +0200
Typo fixed.
---
htdocs/Applications/Applications.raw |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/htdocs/Applications/Applications.raw b/htdocs/Applications/Applications.raw
index 3747fc1..3980cb9 100644
--- a/htdocs/Applications/Applications.raw
+++ b/htdocs/Applications/Applications.raw
@@ -19,7 +19,7 @@ Here are the ones we are aware of.
 <P>
   <LI>
     <A HREF="http://www.lsv.ens-cachan.fr/Software/imitator/">IMITATOR</A>
-    (Inverse Method for Inferring Time AbstracT behaviOR))" performs
+    (Inverse Method for Inferring Time AbstracT behaviOR) performs
     constraint synthesis on parametric timed automata.
   </LI>
 <P>

    

Roberto Bagnara

tags (0)

participants (1)