Poster of Linux kernelThe best gift for a Linux geek
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