User contributions
From WeizmannWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:00, 27 March 2012 (diff | hist) . . (0) . . PlayGo Feature List (→Synthesis)
- 11:40, 27 March 2012 (diff | hist) . . (+1,145) . . PlayGo Feature List
- 11:39, 27 March 2012 (diff | hist) . . (+323) . . PlayGo Feature List (→Synthesis)
- 18:48, 21 March 2012 (diff | hist) . . (+1) . . Getting Started with PlayGo (→Install PlayGo)
- 18:47, 21 March 2012 (diff | hist) . . (+29) . . Download PlayGo
- 08:34, 18 March 2012 (diff | hist) . . (0) . . PlayGo Examples (→Water Tap)
- 08:34, 18 March 2012 (diff | hist) . . (0) . . N File:WaterTap.zip
- 08:33, 18 March 2012 (diff | hist) . . (0) . . N File:WaterTap.uml (current)
- 10:34, 15 March 2012 (diff | hist) . . (+1) . . PlayGo HowTo
- 10:34, 15 March 2012 (diff | hist) . . (+2) . . PlayGo HowTo
- 10:33, 15 March 2012 (diff | hist) . . (-6) . . PlayGo Examples
- 10:31, 15 March 2012 (diff | hist) . . (+30) . . Instructions for creating LSC project from LSC file
- 10:30, 15 March 2012 (diff | hist) . . (+8) . . Instructions for creating LSC project from LSC file
- 10:29, 15 March 2012 (diff | hist) . . (0) . . N File:New.lscProjectByModel.jpg
- 10:28, 15 March 2012 (diff | hist) . . (0) . . N File:NewLSCProject.jpg (current)
- 10:25, 15 March 2012 (diff | hist) . . (+420) . . N Instructions for creating LSC project from LSC file (New page: # Download and install PlayGo #Start PlayGo #Create a new LSC project as follows: ## File Menu-->New-->LSC Project ## In the new LSC project dialog, check the 'choose ...)
- 10:15, 15 March 2012 (diff | hist) . . (+54) . . PlayGo Examples (→Water Tap)
- 10:13, 15 March 2012 (diff | hist) . . (0) . . N File:WaterTap.png (current)
- 10:09, 15 March 2012 (diff | hist) . . (0) . . N File:WaterTapUI.jpg (current)
- 10:04, 15 March 2012 (diff | hist) . . (0) . . N File:Lsc14.jpg
- 10:04, 15 March 2012 (diff | hist) . . (0) . . N File:NL13.jpg
- 10:04, 15 March 2012 (diff | hist) . . (0) . . N File:NL12.jpg
- 10:03, 15 March 2012 (diff | hist) . . (0) . . N File:NL11.jpg
- 10:03, 15 March 2012 (diff | hist) . . (0) . . N File:Lsc10.jpg
- 10:02, 15 March 2012 (diff | hist) . . (0) . . N File:NL9.jpg
- 10:02, 15 March 2012 (diff | hist) . . (0) . . N File:NL8.jpg
- 10:02, 15 March 2012 (diff | hist) . . (-141) . . Baby Monitor Specification
- 10:01, 15 March 2012 (diff | hist) . . (0) . . N File:Lsc7.jpg
- 10:00, 15 March 2012 (diff | hist) . . (0) . . N File:NL6.jpg
- 10:00, 15 March 2012 (diff | hist) . . (0) . . N File:NL5.jpg
- 10:00, 15 March 2012 (diff | hist) . . (0) . . N File:NL4.jpg
- 09:59, 15 March 2012 (diff | hist) . . (0) . . N File:NL3.jpg
- 09:59, 15 March 2012 (diff | hist) . . (0) . . N File:NL2.jpg
- 09:58, 15 March 2012 (diff | hist) . . (0) . . N File:NL1.jpg
- 09:58, 15 March 2012 (diff | hist) . . (-1) . . Baby Monitor Specification
- 09:56, 15 March 2012 (diff | hist) . . (+5,325) . . N Baby Monitor Specification (New page: <sub></sub> <sub></sub><sup></sup>The list below is the Baby Monitor system's requirements in [http://en.wikipedia.org/wiki/Controlled_natural_language controlled English]. These are vali...)
- 09:55, 15 March 2012 (diff | hist) . . (-1) . . PlayGo Examples (→Baby Monitor)
- 09:53, 15 March 2012 (diff | hist) . . (0) . . N File:BabyMonitor.png (current)
- 09:53, 15 March 2012 (diff | hist) . . (0) . . N File:BabyMonitor.Lsc12.jpg (current)
- 09:50, 15 March 2012 (diff | hist) . . (+8) . . PlayGo Examples (→Memory Game)
- 09:50, 15 March 2012 (diff | hist) . . (+4) . . PlayGo Examples (→Memory Game)
- 09:49, 15 March 2012 (diff | hist) . . (0) . . N File:MemoryGameUI.png
- 09:48, 15 March 2012 (diff | hist) . . (+3,199) . . N PlayGo Examples (New page: ==Applications== ===Memory Game=== leftImage:MemoryGameUI.png<br><br> The memory game is a simple application containing a single LSC that specifies th...)
- 09:47, 15 March 2012 (diff | hist) . . (+22) . . PlayGo
- 07:36, 23 January 2012 (diff | hist) . . (+9) . . Live sequence charts (current)
- 07:35, 23 January 2012 (diff | hist) . . (+8) . . Live sequence charts
- 07:55, 28 December 2011 (diff | hist) . . (-62) . . Download PlayGo
- 07:54, 28 December 2011 (diff | hist) . . (+62) . . Download PlayGo
- 13:52, 20 December 2011 (diff | hist) . . (+2) . . Download PlayGo
- 12:55, 18 December 2011 (diff | hist) . . (0) . . N File:Playin.systemmodel.png
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)