User contributions
From WeizmannWiki
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 15:00, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC17.png (current)
- 15:00, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC12.png (current)
- 14:52, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC16.png (current)
- 14:52, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC15.png (current)
- 14:52, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC14.png (current)
- 14:51, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC18.png (current)
- 14:51, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC013.png (current)
- 14:50, 25 February 2014 (diff | hist) . . (0) . . N File:LSC012.png (current)
- 14:50, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC24.png (current)
- 14:49, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC0011.png (current)
- 14:49, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC010.png (current)
- 12:14, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC11.png (current)
- 12:14, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC08.png (current)
- 12:14, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC06.png (current)
- 12:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC05.png (current)
- 12:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC07.png (current)
- 12:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC04.png (current)
- 12:13, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC03.png (current)
- 12:12, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC2.png (current)
- 12:12, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneLSC01.png (current)
- 12:11, 25 February 2014 (diff | hist) . . (0) . . N File:Systemmodel GUI.png (current)
- 12:10, 25 February 2014 (diff | hist) . . (+9,846) . . N Phone Specification (New page: The phone example demonstrates the creation of LSCs using NL play-in. It uses the default system model GUI created automatically by PlayGo....)
- 12:10, 25 February 2014 (diff | hist) . . (-1) . . PlayGo Examples (→Phone)
- 12:09, 25 February 2014 (diff | hist) . . (0) . . File:New.lscProjectByModel.jpg (uploaded a new version of "Image:New.lscProjectByModel.jpg") (current)
- 12:03, 25 February 2014 (diff | hist) . . (0) . . Instructions for creating LSC project from LSC file
- 12:03, 25 February 2014 (diff | hist) . . (+64) . . PlayGo Examples (→Water Tap)
- 12:01, 25 February 2014 (diff | hist) . . (0) . . File:WaterTap.zip (uploaded a new version of "Image:WaterTap.zip") (current)
- 12:01, 25 February 2014 (diff | hist) . . (0) . . PlayGo Examples
- 11:58, 25 February 2014 (diff | hist) . . (0) . . N File:BabyMonitorSwing.zip (current)
- 11:58, 25 February 2014 (diff | hist) . . (+5) . . Baby Monitor Specification (→Baby Monitor LSC project)
- 11:57, 25 February 2014 (diff | hist) . . (-114) . . Baby Monitor Specification (→Baby Monitor final application (runnable jar))
- 11:57, 25 February 2014 (diff | hist) . . (0) . . N File:BabyMonitorExampleSwingGUI.zip (current)
- 11:56, 25 February 2014 (diff | hist) . . (0) . . File:Lsc14.jpg (uploaded a new version of "Image:Lsc14.jpg") (current)
- 11:56, 25 February 2014 (diff | hist) . . (0) . . File:NL13.jpg (uploaded a new version of "Image:NL13.jpg") (current)
- 11:55, 25 February 2014 (diff | hist) . . (0) . . File:NL12.jpg (uploaded a new version of "Image:NL12.jpg") (current)
- 11:55, 25 February 2014 (diff | hist) . . (0) . . File:NL11.jpg (uploaded a new version of "Image:NL11.jpg") (current)
- 11:55, 25 February 2014 (diff | hist) . . (0) . . File:Lsc10.jpg (uploaded a new version of "Image:Lsc10.jpg") (current)
- 11:54, 25 February 2014 (diff | hist) . . (0) . . File:NL9.jpg (uploaded a new version of "Image:NL9.jpg") (current)
- 11:54, 25 February 2014 (diff | hist) . . (0) . . File:NL8.jpg (uploaded a new version of "Image:NL8.jpg") (current)
- 11:54, 25 February 2014 (diff | hist) . . (0) . . File:Lsc7.jpg (uploaded a new version of "Image:Lsc7.jpg") (current)
- 11:53, 25 February 2014 (diff | hist) . . (0) . . File:NL6.jpg (uploaded a new version of "Image:NL6.jpg") (current)
- 11:53, 25 February 2014 (diff | hist) . . (0) . . File:NL5.jpg (uploaded a new version of "Image:NL5.jpg") (current)
- 11:53, 25 February 2014 (diff | hist) . . (0) . . File:NL4.jpg (uploaded a new version of "Image:NL4.jpg") (current)
- 11:52, 25 February 2014 (diff | hist) . . (0) . . File:NL3.jpg (uploaded a new version of "Image:NL3.jpg") (current)
- 11:47, 25 February 2014 (diff | hist) . . (0) . . File:NL2.jpg (uploaded a new version of "Image:NL2.jpg") (current)
- 11:47, 25 February 2014 (diff | hist) . . (0) . . File:NL1.jpg (uploaded a new version of "Image:NL1.jpg") (current)
- 11:46, 25 February 2014 (diff | hist) . . (-372) . . Baby Monitor Specification
- 08:56, 25 February 2014 (diff | hist) . . (-1) . . PlayGo Examples (→Baby Monitor)
- 08:55, 25 February 2014 (diff | hist) . . (0) . . File:MemoryGameSwingGUI.zip (uploaded a new version of "Image:MemoryGameSwingGUI.zip")
- 08:54, 25 February 2014 (diff | hist) . . (0) . . File:MemoryGame.zip (uploaded a new version of "Image:MemoryGame.zip") (current)
- 08:53, 25 February 2014 (diff | hist) . . (0) . . N File:B or C must occur.zip (current)
- 08:53, 25 February 2014 (diff | hist) . . (0) . . N File:BMustOccurUnlessC invalidBehavior.png (current)
- 08:52, 25 February 2014 (diff | hist) . . (0) . . N File:BMustOccurUnlessC validBehavior.png (current)
- 08:52, 25 February 2014 (diff | hist) . . (0) . . N File:BMustOccurUnlessC.png (current)
- 08:51, 25 February 2014 (diff | hist) . . (-931) . . PlayGo Examples
- 08:51, 25 February 2014 (diff | hist) . . (0) . . N File:PhoneGUI.png (current)
- 08:50, 25 February 2014 (diff | hist) . . (0) . . N File:SampleLSC.png (current)
- 08:48, 25 February 2014 (diff | hist) . . (0) . . PlayGo Examples (→Memory Game LSC project)
- 08:48, 25 February 2014 (diff | hist) . . (+3,430) . . PlayGo Examples
- 08:43, 25 February 2014 (diff | hist) . . (0) . . N File:Playgo linux.gtk.x86 64.v20140220-1851.tar.gz (current)
- 08:43, 25 February 2014 (diff | hist) . . (0) . . N File:Playgo win32.win32.x86 64.v20140220-1851.zip (current)
- 08:41, 25 February 2014 (diff | hist) . . (0) . . N File:Sourcecode-archive v20140220-1851.tar.gz (current)
- 08:40, 25 February 2014 (diff | hist) . . (+33) . . Download PlayGo
- 08:33, 25 February 2014 (diff | hist) . . (0) . . N File:Playgo linux.gtk.x86 64.v20140220-1851-with-jre.tar.gz (current)
- 08:32, 25 February 2014 (diff | hist) . . (+9) . . Download PlayGo (→PlayGo for Linux)
- 08:31, 25 February 2014 (diff | hist) . . (0) . . N File:Playgo win32.win32.x86 64.v20140220-1851-with-jre.zip (current)
- 08:30, 25 February 2014 (diff | hist) . . (+299) . . Download PlayGo
- 07:58, 25 February 2014 (diff | hist) . . (+4) . . PlayGo
- 07:57, 25 February 2014 (diff | hist) . . (-5) . . PlayGo
- 07:57, 25 February 2014 (diff | hist) . . (+15) . . PlayGo
- 07:55, 25 February 2014 (diff | hist) . . (+1,839) . . N License (New page: Copyright (c) 2009-2013, Weizmann Institute of Science and Ben Gurion University<br> All rights reserved. Redistribution and use in source and binary forms, with or without modification, ...) (current)
- 07:55, 25 February 2014 (diff | hist) . . (-1) . . PlayGo
- 07:54, 25 February 2014 (diff | hist) . . (0) . . File:Download.jpg (uploaded a new version of "Image:Download.jpg") (current)
- 07:53, 25 February 2014 (diff | hist) . . (0) . . File:Download.jpg (uploaded a new version of "Image:Download.jpg")
- 07:52, 25 February 2014 (diff | hist) . . (+1) . . PlayGo
- 07:52, 25 February 2014 (diff | hist) . . (0) . . File:Download.jpg (uploaded a new version of "Image:Download.jpg")
- 07:51, 25 February 2014 (diff | hist) . . (0) . . PlayGo
- 07:51, 25 February 2014 (diff | hist) . . (-1) . . PlayGo
- 07:50, 25 February 2014 (diff | hist) . . (0) . . File:Download.jpg (uploaded a new version of "Image:Download.jpg")
- 07:46, 25 February 2014 (diff | hist) . . (0) . . File:Download.jpg (uploaded a new version of "Image:Download.jpg")
- 07:46, 25 February 2014 (diff | hist) . . (0) . . N File:Download.jpg
- 07:45, 25 February 2014 (diff | hist) . . (+143) . . PlayGo
- 10:00, 24 February 2014 (diff | hist) . . (-7) . . Getting Started with PlayGo (→Create your first LSC project)
- 09:59, 24 February 2014 (diff | hist) . . (-6) . . Getting Started with PlayGo
- 09:56, 24 February 2014 (diff | hist) . . (0) . . File:SpecFile.png (uploaded a new version of "Image:SpecFile.png") (current)
- 09:50, 24 February 2014 (diff | hist) . . (0) . . Getting Started with PlayGo (→Startup PlayGo)
- 09:47, 24 February 2014 (diff | hist) . . (0) . . N File:Playgo.install.dir.jpg (current)
- 09:47, 24 February 2014 (diff | hist) . . (0) . . Getting Started with PlayGo (→Install PlayGo)
- 15:11, 11 February 2014 (diff | hist) . . (+2) . . Language & Concepts (→Play-Out)
- 15:06, 11 February 2014 (diff | hist) . . (+581) . . How to define play-in-able Swing GUI application (→Using the WindowBuilder plugin)
- 15:02, 11 February 2014 (diff | hist) . . (0) . . N File:Show&tell.quickFix.png (current)
- 15:02, 11 February 2014 (diff | hist) . . (0) . . N File:Show&Tell.png (current)
- 15:01, 11 February 2014 (diff | hist) . . (+982) . . How to Play In
- 14:53, 11 February 2014 (diff | hist) . . (0) . . PlayGo HowTo
- 14:51, 11 February 2014 (diff | hist) . . (0) . . PlayGo HowTo
- 14:50, 11 February 2014 (diff | hist) . . (0) . . PlayGo HowTo
- 14:46, 11 February 2014 (diff | hist) . . (0) . . N File:BrowserSettings.png (current)
- 14:45, 11 February 2014 (diff | hist) . . (+983) . . N How to generate and view a TraceVis log (New page: Configuring TraceVis is done from the project's properties page. Once configured and after playing out, a TraceVis log is generated at the location you c...) (current)
- 14:45, 11 February 2014 (diff | hist) . . (+44) . . PlayGo HowTo
- 14:34, 11 February 2014 (diff | hist) . . (0) . . N File:Tracer.OpenTrace.png (current)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)