@comment $NetBSD: PLIST,v 1.3 2009/09/09 07:27:56 hasso Exp $ bin/ltsa lib/ltsa/jel.jar lib/ltsa/ltsa.jar lib/ltsa/ltsa1.ico lib/ltsa/ltsafile.ico lib/ltsa/natutil.jar lib/ltsa/scenebeans.jar lib/ltsa/xml.jar share/doc/ltsa/fspv2.pdf share/doc/ltsa/readme.txt share/examples/ltsa/Chapter-examples/chapter10_lts/AsynchMsgDemo.lts share/examples/ltsa/Chapter-examples/chapter10_lts/PORT.LTS share/examples/ltsa/Chapter-examples/chapter10_lts/Port_recursive.lts share/examples/ltsa/Chapter-examples/chapter10_lts/Port_recursive_overflow.lts share/examples/ltsa/Chapter-examples/chapter10_lts/RendezvousEntryDemo.lts share/examples/ltsa/Chapter-examples/chapter10_lts/SynchMsgAdditionallts.lts share/examples/ltsa/Chapter-examples/chapter10_lts/SynchMsgDemo.lts share/examples/ltsa/Chapter-examples/chapter11_lts/AbstractPrimes.lts share/examples/ltsa/Chapter-examples/chapter11_lts/AnnouncerLstener.lts share/examples/ltsa/Chapter-examples/chapter11_lts/BoxMover.lts share/examples/ltsa/Chapter-examples/chapter11_lts/PRIMES.LTS share/examples/ltsa/Chapter-examples/chapter11_lts/SupervisorWorker-non-term.lts share/examples/ltsa/Chapter-examples/chapter11_lts/SupervisorWorker-revised.lts share/examples/ltsa/Chapter-examples/chapter11_lts/TupleSpace.lts share/examples/ltsa/Chapter-examples/chapter12_lts/CountDown.lts share/examples/ltsa/Chapter-examples/chapter12_lts/Doubleclick.lts share/examples/ltsa/Chapter-examples/chapter12_lts/INTERVAL.LTS share/examples/ltsa/Chapter-examples/chapter12_lts/JITTER.LTS share/examples/ltsa/Chapter-examples/chapter12_lts/Maximal_progress.lts share/examples/ltsa/Chapter-examples/chapter12_lts/Parcel_router.lts share/examples/ltsa/Chapter-examples/chapter12_lts/Space_invaders.lts share/examples/ltsa/Chapter-examples/chapter12_lts/TIMEOUT.LTS share/examples/ltsa/Chapter-examples/chapter12_lts/Timed_producer_consumer.lts share/examples/ltsa/Chapter-examples/chapter12_lts/Tproducer_consumer_store.lts share/examples/ltsa/Chapter-examples/chapter2_lts/BUFF.LTS share/examples/ltsa/Chapter-examples/chapter2_lts/COIN.LTS share/examples/ltsa/Chapter-examples/chapter2_lts/COUNT.LTS share/examples/ltsa/Chapter-examples/chapter2_lts/DRINKS.LTS share/examples/ltsa/Chapter-examples/chapter2_lts/Faulty.lts share/examples/ltsa/Chapter-examples/chapter2_lts/OneShot.lts share/examples/ltsa/Chapter-examples/chapter2_lts/SUM.LTS share/examples/ltsa/Chapter-examples/chapter2_lts/SWITCH.LTS share/examples/ltsa/Chapter-examples/chapter2_lts/THREAD.LTS share/examples/ltsa/Chapter-examples/chapter2_lts/Writer.lts share/examples/ltsa/Chapter-examples/chapter2_lts/countDown.lts share/examples/ltsa/Chapter-examples/chapter2_lts/exercises/ex2-1-III.lts share/examples/ltsa/Chapter-examples/chapter2_lts/exercises/ex2-1-VI.lts share/examples/ltsa/Chapter-examples/chapter2_lts/trafficLight.lts share/examples/ltsa/Chapter-examples/chapter3_lts/BILL_BEN.LTS share/examples/ltsa/Chapter-examples/chapter3_lts/Desktop.ini share/examples/ltsa/Chapter-examples/chapter3_lts/FACTORY.LTS share/examples/ltsa/Chapter-examples/chapter3_lts/SWITCHES.LTS share/examples/ltsa/Chapter-examples/chapter3_lts/TWOBUFF.LTS share/examples/ltsa/Chapter-examples/chapter3_lts/USER.LTS share/examples/ltsa/Chapter-examples/chapter3_lts/client_server.lts share/examples/ltsa/Chapter-examples/chapter3_lts/client_serverv2.lts share/examples/ltsa/Chapter-examples/chapter3_lts/clock_radio.lts share/examples/ltsa/Chapter-examples/chapter3_lts/itch_scratch.lts share/examples/ltsa/Chapter-examples/chapter3_lts/maker_user.lts share/examples/ltsa/Chapter-examples/chapter3_lts/maker_userv2.lts share/examples/ltsa/Chapter-examples/chapter3_lts/printer_share.lts share/examples/ltsa/Chapter-examples/chapter3_lts/resource_share.lts share/examples/ltsa/Chapter-examples/chapter3_lts/thread_demo.lts share/examples/ltsa/Chapter-examples/chapter4_lts/COUNTER.LTS share/examples/ltsa/Chapter-examples/chapter4_lts/Counter_lockvar.lts share/examples/ltsa/Chapter-examples/chapter4_lts/Display_Counter.lts share/examples/ltsa/Chapter-examples/chapter4_lts/GARDEN.LTS share/examples/ltsa/Chapter-examples/chapter4_lts/Garden_lockvar.lts share/examples/ltsa/Chapter-examples/chapter5_lts/BoundedBuffer.lts share/examples/ltsa/Chapter-examples/chapter5_lts/BoundedBuffer_fixedSema.lts share/examples/ltsa/Chapter-examples/chapter5_lts/BoundedBuffer_nestedSema.lts share/examples/ltsa/Chapter-examples/chapter5_lts/CARPARK.LTS share/examples/ltsa/Chapter-examples/chapter5_lts/SemaDemo.lts share/examples/ltsa/Chapter-examples/chapter5_lts/Semaphore.lts share/examples/ltsa/Chapter-examples/chapter6_lts/DeadlockFreePhilosophers.lts share/examples/ltsa/Chapter-examples/chapter6_lts/DiningPhilosophers.lts share/examples/ltsa/Chapter-examples/chapter6_lts/MAZE.LTS share/examples/ltsa/Chapter-examples/chapter6_lts/MOVE.LTS share/examples/ltsa/Chapter-examples/chapter6_lts/printer-scanner-reorder.lts share/examples/ltsa/Chapter-examples/chapter6_lts/printer-scanner-timeout.lts share/examples/ltsa/Chapter-examples/chapter6_lts/printer-scanner.lts share/examples/ltsa/Chapter-examples/chapter7_lts/ACTUATOR.LTS share/examples/ltsa/Chapter-examples/chapter7_lts/CALM.LTS share/examples/ltsa/Chapter-examples/chapter7_lts/COIN.LTS share/examples/ltsa/Chapter-examples/chapter7_lts/CongestedSingleLaneBridge.lts share/examples/ltsa/Chapter-examples/chapter7_lts/HIGH_LOW.LTS share/examples/ltsa/Chapter-examples/chapter7_lts/Mutex_property.lts share/examples/ltsa/Chapter-examples/chapter7_lts/POLITE.LTS share/examples/ltsa/Chapter-examples/chapter7_lts/ReadersWriters.lts share/examples/ltsa/Chapter-examples/chapter7_lts/ReadersWritersFair.lts share/examples/ltsa/Chapter-examples/chapter7_lts/ReadersWritersPriority.lts share/examples/ltsa/Chapter-examples/chapter7_lts/Safe actuator.lts share/examples/ltsa/Chapter-examples/chapter7_lts/SingleLaneBridge.lts share/examples/ltsa/Chapter-examples/chapter7_lts/SingleLaneBridgeDeadlock.lts share/examples/ltsa/Chapter-examples/chapter7_lts/SingleLaneBridgeFair.lts share/examples/ltsa/Chapter-examples/chapter7_lts/TWOCOIN.LTS share/examples/ltsa/Chapter-examples/chapter8_lts/CruiseControl.lts share/examples/ltsa/Chapter-examples/chapter8_lts/RevisedCruiseControl.lts share/examples/ltsa/Chapter-examples/chapter9_lts/Allocator.lts share/examples/ltsa/Chapter-examples/chapter9_lts/GolfClub.lts share/examples/ltsa/Chapter-examples/chapter9_lts/GolfClubFifo.lts share/examples/ltsa/Chapter-examples/chapter9_lts/MasterSlave.lts share/examples/ltsa/SceneAnimations/DiningPhilosophers.lts share/examples/ltsa/SceneAnimations/FMC.lts share/examples/ltsa/SceneAnimations/Lottery.lts share/examples/ltsa/SceneAnimations/bridge.lts share/examples/ltsa/SceneAnimations/channel.lts share/examples/ltsa/SceneAnimations/fairBbridge.lts share/examples/ltsa/SceneAnimations/helicopter.lts share/examples/ltsa/SceneAnimations/maze.lts share/examples/ltsa/SceneAnimations/puzzle.lts share/examples/ltsa/SceneAnimations/tictactoe.lts share/examples/ltsa/SceneAnimations/window.lts share/examples/ltsa/SceneAnimations/xml/ball.xml share/examples/ltsa/SceneAnimations/xml/bridge.xml share/examples/ltsa/SceneAnimations/xml/cellXO.xml share/examples/ltsa/SceneAnimations/xml/channel.xml share/examples/ltsa/SceneAnimations/xml/copter.xml share/examples/ltsa/SceneAnimations/xml/copter_track.xml share/examples/ltsa/SceneAnimations/xml/diners.xml share/examples/ltsa/SceneAnimations/xml/explosion.xml share/examples/ltsa/SceneAnimations/xml/fmc.xml share/examples/ltsa/SceneAnimations/xml/fork.xml share/examples/ltsa/SceneAnimations/xml/image/ablank.gif share/examples/ltsa/SceneAnimations/xml/image/bblank.gif share/examples/ltsa/SceneAnimations/xml/image/bluecar.gif share/examples/ltsa/SceneAnimations/xml/image/bluecarf.gif share/examples/ltsa/SceneAnimations/xml/image/bridge.gif share/examples/ltsa/SceneAnimations/xml/image/cblank.gif share/examples/ltsa/SceneAnimations/xml/image/channel.gif share/examples/ltsa/SceneAnimations/xml/image/church.gif share/examples/ltsa/SceneAnimations/xml/image/cranehead.gif share/examples/ltsa/SceneAnimations/xml/image/eating.gif share/examples/ltsa/SceneAnimations/xml/image/explosion1.gif share/examples/ltsa/SceneAnimations/xml/image/explosion10.gif share/examples/ltsa/SceneAnimations/xml/image/explosion11.gif share/examples/ltsa/SceneAnimations/xml/image/explosion12.gif share/examples/ltsa/SceneAnimations/xml/image/explosion13.gif share/examples/ltsa/SceneAnimations/xml/image/explosion14.gif share/examples/ltsa/SceneAnimations/xml/image/explosion15.gif share/examples/ltsa/SceneAnimations/xml/image/explosion16.gif share/examples/ltsa/SceneAnimations/xml/image/explosion2.gif share/examples/ltsa/SceneAnimations/xml/image/explosion3.gif share/examples/ltsa/SceneAnimations/xml/image/explosion4.gif share/examples/ltsa/SceneAnimations/xml/image/explosion5.gif share/examples/ltsa/SceneAnimations/xml/image/explosion6.gif share/examples/ltsa/SceneAnimations/xml/image/explosion7.gif share/examples/ltsa/SceneAnimations/xml/image/explosion8.gif share/examples/ltsa/SceneAnimations/xml/image/explosion9.gif share/examples/ltsa/SceneAnimations/xml/image/fruitbowl.gif share/examples/ltsa/SceneAnimations/xml/image/gantry.gif share/examples/ltsa/SceneAnimations/xml/image/gotleft.gif share/examples/ltsa/SceneAnimations/xml/image/gotright.gif share/examples/ltsa/SceneAnimations/xml/image/hungry.gif share/examples/ltsa/SceneAnimations/xml/image/magnet.gif share/examples/ltsa/SceneAnimations/xml/image/manucell.gif share/examples/ltsa/SceneAnimations/xml/image/maze.gif share/examples/ltsa/SceneAnimations/xml/image/pidgeon.gif share/examples/ltsa/SceneAnimations/xml/image/redcar.gif share/examples/ltsa/SceneAnimations/xml/image/skater.gif share/examples/ltsa/SceneAnimations/xml/image/thinking.gif share/examples/ltsa/SceneAnimations/xml/lottery.xml share/examples/ltsa/SceneAnimations/xml/maze.xml share/examples/ltsa/SceneAnimations/xml/phil.xml share/examples/ltsa/SceneAnimations/xml/puzzle.xml share/examples/ltsa/SceneAnimations/xml/smallPuzzle.xml share/examples/ltsa/SceneAnimations/xml/tictactoe.xml share/examples/ltsa/SceneAnimations/xml/tile.xml share/examples/ltsa/SceneAnimations/xml/window.xml