[PPL-devel] [GIT] ppl/w3ppl(master): Typo fixed.
Roberto Bagnara
bagnara at cs.unipr.it
Tue Sep 7 14:10:26 CEST 2010
Module: ppl/w3ppl
Branch: master
Commit: 18820851af0700fd46dfda107229fd57d415382a
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=18820851af0700fd46dfda107229fd57d415382a
Author: Roberto Bagnara <bagnara at 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>
More information about the PPL-devel
mailing list