170 lines
10 KiB
Text
170 lines
10 KiB
Text
@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
|