f39e5171b6
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.
11 lines
413 B
Text
11 lines
413 B
Text
@comment $NetBSD: PLIST,v 1.1.1.1 2004/11/30 08:24:18 wiz Exp $
|
|
bin/rsltc
|
|
share/emacs/site-lisp/rsl/rsl-mode.el
|
|
share/emacs/site-lisp/rsl/rsl-mode.elc
|
|
share/emacs/site-lisp/rsl/rslconvert.el
|
|
share/emacs/site-lisp/rsl/rslconvert.elc
|
|
share/emacs/site-lisp/rsl/rsltc.el
|
|
share/emacs/site-lisp/rsl/rsltc.elc
|
|
share/emacs/site-lisp/rsl/tokenise.el
|
|
share/emacs/site-lisp/rsl/tokenise.elc
|
|
@dirrm share/emacs/site-lisp/rsl
|