Syndex
SynDEx is a graphical interactive software with on-line documentation, implementing the AAA methodology.
[ Homepage ]
| Author: | Yves Sorel. |
| Last modification date: | 10-Sep-2002 |
| Version: | 6.7.0 |
| Development status: | Mature |
| Kind: | Applications written in Caml :: Major applications |
| Topic: | Science |
| Homepage: | http://www-rocq.inria.fr/syndex/ |