Mail Archive Home | fractal-commits List | December 2006 Index
| <-- Date Index --> | <-- Thread Index --> |
Date: Saturday, December 16, 2006 @ 15:34:27
Author: seintur
Path: /cvsroot/fractal/web/xml/root
Modified: users.xml
ConFract added.
-----------+
users.xml | 9 +++++++++
1 files changed, 9 insertions(+)
Index: web/xml/root/users.xml
diff -u web/xml/root/users.xml:1.4 web/xml/root/users.xml:1.5
--- web/xml/root/users.xml:1.4 Sat Dec 16 15:30:59 2006
+++ web/xml/root/users.xml Sat Dec 16 15:34:27 2006
@@ -22,6 +22,15 @@
<table border="1" width="100%">
<tr>
<td align="center" valign="middle">
+ <a
href="http://www.i3s.unice.fr/~collet/confract.html">ConFract</a>
+ </td>
+ <td valign="middle">ConFract is a framework
+ for specifying and checking contracts on assemblies of Fractal
+ components.
+ </td>
+ </tr>
+ <tr>
+ <td align="center" valign="middle">
<a href="http://jotm.objectweb.org/jironde.html">Jironde</a>
</td>
<td valign="middle"><strong>Jironde</strong>, a part of
| <-- Date Index --> | <-- Thread Index --> |
Powered by MHonArc.
Copyright © 2006-2007, OW2 Consortium | contact | webmaster.