Revision history of "User manual/pbes2bool"

From MCRL2

Jump to: navigation, search

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

Diff selection: mark the radio boxes of the versions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with current version, (last) = difference with preceding version, M = minor edit.

(cur) (last) 07:52, 6 August 2009 Jfg (Talk | contribs) m (11,735 bytes) (→Options: Improved typing error)
(cur) (last) 15:53, 22 March 2009 Jfg (Talk | contribs) m (11,734 bytes) (→Options)
(cur) (last) 09:51, 22 March 2009 Jfg (Talk | contribs) (11,736 bytes) (→Options: Add the option -o binary)
(cur) (last) 08:48, 19 June 2008 Sploeger (Talk | contribs) m (User manual/Pbes2bool moved to User manual/pbes2bool: non-capitalised tool name)
(cur) (last) 14:03, 18 June 2008 Sploeger (Talk | contribs) (11,609 bytes) (removed from Tools and User documentation categories, added hierarchy templates)
(cur) (last) 12:40, 18 June 2008 Sploeger (Talk | contribs) m (Pbes2bool moved to User manual/Pbes2bool: page becomes part of user manual)
(cur) (last) 13:17, 23 April 2008 Amathijs (Talk | contribs) m (11,619 bytes) (→Synopsis: added dots)
(cur) (last) 12:45, 23 April 2008 Amathijs (Talk | contribs) m (11,616 bytes) (→Options: fixed case)
(cur) (last) 10:29, 23 April 2008 Amathijs (Talk | contribs) (11,618 bytes) (synchronised with tool help information, adhered to documentation guidelines)
(cur) (last) 11:22, 15 April 2008 Amathijs (Talk | contribs) (11,499 bytes) (→Synopsis: wrong tool name in synopsis)
(cur) (last) 12:21, 21 March 2008 Amathijs (Talk | contribs) m (11,498 bytes)
(cur) (last) 10:32, 5 March 2008 Amathijs (Talk | contribs) m (11,546 bytes) (Adherence to Wikipedia naming conventions)
(cur) (last) 13:53, 4 March 2008 Amathijs (Talk | contribs) (11,546 bytes) (→Options: removed duplicate options, updated ref to rewrite strategies, improved layout)
(cur) (last) 12:05, 17 December 2007 Amathijs (Talk | contribs) m (12,100 bytes) (→Options: OPTION was not used)
(cur) (last) 17:43, 13 December 2007 Mweerden (Talk | contribs) m (12,058 bytes) (Changed documention on rewriter option (now refers to the rewriter page).)
(cur) (last) 08:55, 5 November 2007 Jfg (Talk | contribs) m (12,280 bytes) (→Options)
(cur) (last) 08:55, 5 November 2007 Jfg (Talk | contribs) m (12,282 bytes) (→Tool limitations)
(cur) (last) 08:54, 5 November 2007 Jfg (Talk | contribs) (12,284 bytes) (→Options)
(cur) (last) 08:53, 5 November 2007 Jfg (Talk | contribs) (12,282 bytes) (→Generation of counter examples)
(cur) (last) 10:03, 24 October 2007 Jfg (Talk | contribs) m (11,686 bytes) (→Generation of counter examples)
(cur) (last) 12:31, 21 October 2007 Jfg (Talk | contribs) (11,673 bytes)
(cur) (last) 12:26, 21 October 2007 Jfg (Talk | contribs) (11,673 bytes) (→Options)
(cur) (last) 12:03, 21 October 2007 Jfg (Talk | contribs) m (8,879 bytes) (→Generation of counter examples)
(cur) (last) 11:57, 21 October 2007 Jfg (Talk | contribs) (8,792 bytes) (→Generation of counter examples)
(cur) (last) 11:49, 21 October 2007 Jfg (Talk | contribs) (8,797 bytes) (→Generation of counter examples)
(cur) (last) 10:58, 21 October 2007 Jfg (Talk | contribs) (6,287 bytes) (→Description)
(cur) (last) 10:17, 21 October 2007 Jfg (Talk | contribs) (3,615 bytes) (→Description)
(cur) (last) 10:05, 21 October 2007 Jfg (Talk | contribs) (2,762 bytes) (→Description)
(cur) (last) 09:21, 21 October 2007 Jfg (Talk | contribs) m (1,871 bytes) (→Synopsis)
(cur) (last) 09:19, 21 October 2007 Jfg (Talk | contribs) m (1,873 bytes) (→Synopsis)
(cur) (last) 16:40, 20 October 2007 Jfg (Talk | contribs) m (1,872 bytes) (→Description)
(cur) (last) 16:25, 20 October 2007 Jfg (Talk | contribs) (1,583 bytes) (New page: Determine whether a PBES is valid by translating it to a BES. Can also be used to transform a PBES to a BES. == Synopsis == <tt>'''pbes2bes''' [''OPTION'']... [''INFILE''] [''OUTFILE''...)

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

Retrieved from "http://mcrl2.org/mcrl2/wiki/index.php/User_manual/pbes2bool"