diff options
Diffstat (limited to 'devel/rsltc/DESCR')
| -rw-r--r-- | devel/rsltc/DESCR | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/rsltc/DESCR b/devel/rsltc/DESCR index 90b49662530..3d2ab769acc 100644 --- a/devel/rsltc/DESCR +++ b/devel/rsltc/DESCR @@ -1,3 +1,3 @@ -rsltc provides type-checking, pretty-printing, generation of confidence -conditions, showing module dependencies, translation to Standard ML, to -C++, and to PVS, and translation to RSL from UML class diagrams. +rsltc provides type-checking, pretty-printing, generation of confidence +conditions, showing module dependencies, translation to Standard ML, to +C++, and to PVS, and translation to RSL from UML class diagrams. |