.\" Manual page for grapemcrl2 version 201202.0 (Release). .\" .\" Generated from grapemcrl2 --generate-man-page. .\" .TH GRAPEMCRL2 "1" "April 2012" "grapemcrl2 mCRL2 toolset 201202.0 (Release)" "User Commands" .SH NAME grapemcrl2 \- graphical editing environment for mCRL2 process specifications .SH SYNOPSIS .B grapemcrl2 [\fIOPTION\fR]... [\fIINFILE\fR] .SH DESCRIPTION Graphical editing environment for mCRL2 process specifications. If INFILE is supplied, it is loaded as a GraPE specification.Detailed help is provided in the online manual, accessible from within the tool. .SH OPTIONS .TP \fIOPTION\fR can be any of the following: .TP \fB--timings\fR[=\fIFILE\fR] append timing measurements to FILE\&. Measurements are written to standard error if no FILE is provided .TP Standard options: .TP \fB-q\fR, \fB--quiet\fR do not display warning messages .TP \fB-v\fR, \fB--verbose\fR display short intermediate messages .TP \fB-d\fR, \fB--debug\fR display detailed intermediate messages .TP \fB--log-level\fR=\fILEVEL\fR display intermediate messages up to and including level .TP \fB-h\fR, \fB--help\fR display help information .TP \fB--version\fR display version information .SH AUTHOR Written by Remco Blewanus,Thorstin Crijns,Diana Koenraadt,Bas Luksenburg,Jonathan Nelisse,Hans Poppelaars,Bram Schoenmakers. .SH "REPORTING BUGS" Report bugs at . .SH COPYRIGHT Copyright \(co 2012 Technische Universiteit Eindhoven. .br This is free software. You may redistribute copies of it under the terms of the Boost Software License . There is NO WARRANTY, to the extent permitted by law. .SH "SEE ALSO" See also the manual at .