Decomposition Plug-in User Guide: Revision history

4 March 2010

• curprev 13:4413:44, 4 March 2010‎ imported>Renato‎ 11,277 bytes +24‎ →‎Shared event (B-style) decomposition
• curprev 13:4313:43, 4 March 2010‎ imported>Renato‎ 11,253 bytes −7‎ →‎Shared event (B-style) decomposition
• curprev 13:2913:29, 4 March 2010‎ imported>Renato‎ 11,260 bytes +93‎ →‎Shared event (B-style) decomposition

3 March 2010

• curprev 12:3812:38, 3 March 2010‎ imported>Renato‎ 11,167 bytes +58‎ →‎Shared event (B-style) decomposition
• curprev 12:1512:15, 3 March 2010‎ imported>Renato‎ 11,109 bytes +847‎ →‎Tips and Tricks
• curprev 11:5611:56, 3 March 2010‎ imported>Renato‎ 10,262 bytes +51‎ →‎Tips and Tricks
• curprev 11:5511:55, 3 March 2010‎ imported>Renato‎ 10,211 bytes +987‎ →‎Error Messages

26 February 2010

• curprev 18:0318:03, 26 February 2010‎ imported>Mathieu‎ m 9,224 bytes +25‎ →‎Shared variables (A-style) decomposition

16 February 2010

• curprev 09:2509:25, 16 February 2010‎ imported>Nicolas‎ m 9,199 bytes +9‎ →‎Setup

20 January 2010

• curprev 11:2011:20, 20 January 2010‎ imported>Pascal‎ m 9,190 bytes −2‎ →‎For MediaWiki -> EclipseHelp transformation
• curprev 10:4510:45, 20 January 2010‎ imported>Pascal‎ m 9,192 bytes −3‎ →‎Setup
• curprev 10:4310:43, 20 January 2010‎ imported>Pascal‎ m 9,195 bytes +9‎ →‎Importing / Exporting the Configuration
• curprev 10:4110:41, 20 January 2010‎ imported>Pascal‎ m 9,186 bytes −1‎ →‎Setup
• curprev 10:4010:40, 20 January 2010‎ imported>Pascal‎ m 9,187 bytes −51‎ →‎Installing and Updating
• curprev 10:4010:40, 20 January 2010‎ imported>Nicolas‎ m 9,238 bytes +154‎ →‎Installing and Updating

11 December 2009

• curprev 10:0110:01, 11 December 2009‎ imported>Nicolas‎ m 9,084 bytes +109‎ →‎Setting the Preferences

3 December 2009

• curprev 16:1016:10, 3 December 2009‎ imported>Pascal‎ m 8,975 bytes −5‎ →‎When running the static checker
• curprev 15:0315:03, 3 December 2009‎ imported>Pascal‎ m 8,980 bytes +15‎ →‎Running the Decompose Action
• curprev 14:3514:35, 3 December 2009‎ imported>Pascal‎ m 8,965 bytes −4‎ →‎Running the Decompose Action

1 December 2009

• curprev 17:4917:49, 1 December 2009‎ imported>Pascal‎ m 8,969 bytes −16‎ No edit summary
• curprev 17:4717:47, 1 December 2009‎ imported>Pascal‎ 8,985 bytes +413‎ →‎Selecting the Input Machine
• curprev 17:2717:27, 1 December 2009‎ imported>Pascal‎ m 8,572 bytes 0‎ →‎Running the Decompose Action
• curprev 17:2617:26, 1 December 2009‎ imported>Pascal‎ m 8,572 bytes −7‎ →‎Setting the Preferences
• curprev 17:2617:26, 1 December 2009‎ imported>Pascal‎ m 8,579 bytes +26‎ →‎Running the Decompose Action
• curprev 17:1617:16, 1 December 2009‎ imported>Pascal‎ 8,553 bytes 0‎ →‎Setting the Preferences
• curprev 17:1517:15, 1 December 2009‎ imported>Pascal‎ 8,553 bytes +7‎ →‎Setting the Preferences
• curprev 17:1317:13, 1 December 2009‎ imported>Pascal‎ 8,546 bytes +402‎ →‎Decomposing
• curprev 16:5416:54, 1 December 2009‎ imported>Pascal‎ 8,144 bytes +64‎ →‎Running the Decompose Action
• curprev 16:2216:22, 1 December 2009‎ imported>Pascal‎ m 8,080 bytes +8‎ →‎The Decompose Action
• curprev 16:2116:21, 1 December 2009‎ imported>Pascal‎ m 8,072 bytes −5‎ →‎The Decompose Action
• curprev 16:2016:20, 1 December 2009‎ imported>Pascal‎ 8,077 bytes +42‎ →‎The Decompose Action
• curprev 11:0711:07, 1 December 2009‎ imported>Pascal‎ m 8,035 bytes +35‎ →‎The Decompose Action
• curprev 10:5610:56, 1 December 2009‎ imported>Pascal‎ 8,000 bytes +248‎ →‎Decomposing
• curprev 10:3010:30, 1 December 2009‎ imported>Pascal‎ m 7,752 bytes +157‎ →‎Importing / Exporting the Configuration

27 November 2009

• curprev 10:1310:13, 27 November 2009‎ imported>Pascal‎ m 7,595 bytes 0‎ No edit summary
• curprev 10:1210:12, 27 November 2009‎ imported>Pascal‎ m 7,595 bytes +5‎ →‎To generate Eclipse Help
• curprev 10:0910:09, 27 November 2009‎ imported>Pascal‎ m 7,590 bytes −18‎ →‎To generate Eclipse Help
• curprev 10:0610:06, 27 November 2009‎ imported>Pascal‎ m 7,608 bytes −8‎ →‎To generate Eclipse Help
• curprev 09:5709:57, 27 November 2009‎ imported>Pascal‎ m 7,616 bytes −1‎ →‎When running the static checker
• curprev 09:5709:57, 27 November 2009‎ imported>Pascal‎ m 7,617 bytes 0‎ →‎When running the static checker
• curprev 09:5609:56, 27 November 2009‎ imported>Pascal‎ m 7,617 bytes −1‎ →‎When running the decomposition
• curprev 09:5409:54, 27 November 2009‎ imported>Pascal‎ m 7,618 bytes −14‎ →‎To generate Eclipse Help
• curprev 08:5908:59, 27 November 2009‎ imported>Pascal‎ m 7,632 bytes −3‎ →‎To generate Eclipse Help
• curprev 08:5708:57, 27 November 2009‎ imported>Pascal‎ m 7,635 bytes +57‎ →‎To generate Eclipse Help
• curprev 08:5508:55, 27 November 2009‎ imported>Pascal‎ m 7,578 bytes +14‎ →‎To generate Eclipse Help
• curprev 08:4908:49, 27 November 2009‎ imported>Pascal‎ m 7,564 bytes +4‎ →‎When running the decomposition
• curprev 08:3808:38, 27 November 2009‎ imported>Pascal‎ m 7,560 bytes −2‎ No edit summary

26 November 2009

• curprev 14:2614:26, 26 November 2009‎ imported>Pascal‎ m 7,562 bytes +38‎ →‎Installing and Updating

20 November 2009

• curprev 16:0416:04, 20 November 2009‎ imported>Pascal‎ m 7,524 bytes 0‎ Decomposition Plug-in User's Guide moved to Decomposition Plug-in User Guide

19 November 2009

• curprev 14:2914:29, 19 November 2009‎ imported>Pascal‎ 7,524 bytes +50‎ →‎Installing and Updating