MCRL2-GUI
MCRL2-GUI
Section: User Commands (1) Updated: October 2010 Local index
Up
NAME
mcrl2-gui - graphical front-end for mCRL2 tools
SYNOPSIS
mcrl2-gui
[OPTION]...
DESCRIPTION
A graphical front-end for mCRL2 tools
OPTIONS
- OPTION can be any of the following:
-
- Standard options:
-
- -q, --quiet
-
do not display warning messages
- -v, --verbose
-
display short intermediate messages
- -d, --debug
-
display detailed intermediate messages
- -h, --help
-
display help information
- --version
-
display version information
AUTHOR
Written by Frank Stappers.
REPORTING BUGS
Report bugs at <http://www.mcrl2.org/issuetracker>.
COPYRIGHT
Copyright © 2010 Technische Universiteit Eindhoven.
This is free software. You may redistribute copies of it under the
terms of the Boost Software License <http://www.boost.org/LICENSE_1_0.txt>.
There is NO WARRANTY, to the extent permitted by law.
SEE ALSO
See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/mcrl2-gui>.
Index
- NAME
-
- SYNOPSIS
-
- DESCRIPTION
-
- OPTIONS
-
- AUTHOR
-
- REPORTING BUGS
-
- COPYRIGHT
-
- SEE ALSO
-
This document was created by
man2html,
using the manual pages.
Time: 21:23:47 GMT, April 16, 2011