@comment $NetBSD: PLIST,v 1.1.1.1 2004/02/29 22:21:19 jmmv 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/timed_producer_consumer.lts
share/examples/ltsa/chapter-examples/chapter12_lts/timeout.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/countdown.lts
share/examples/ltsa/chapter-examples/chapter2_lts/drinks.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/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/trafficlight.lts
share/examples/ltsa/chapter-examples/chapter2_lts/writer.lts
share/examples/ltsa/chapter-examples/chapter3_lts/bill_ben.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/desktop.ini
share/examples/ltsa/chapter-examples/chapter3_lts/factory.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/switches.lts
share/examples/ltsa/chapter-examples/chapter3_lts/thread_demo.lts
share/examples/ltsa/chapter-examples/chapter3_lts/twobuff.lts
share/examples/ltsa/chapter-examples/chapter3_lts/user.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/bridge.lts
share/examples/ltsa/sceneanimations/channel.lts
share/examples/ltsa/sceneanimations/diningphilosophers.lts
share/examples/ltsa/sceneanimations/fairbbridge.lts
share/examples/ltsa/sceneanimations/fmc.lts
share/examples/ltsa/sceneanimations/helicopter.lts
share/examples/ltsa/sceneanimations/lottery.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
@dirrm share/examples/ltsa/sceneanimations/xml/image
@dirrm share/examples/ltsa/sceneanimations/xml
@dirrm share/examples/ltsa/sceneanimations
@dirrm share/examples/ltsa/chapter-examples/chapter9_lts
@dirrm share/examples/ltsa/chapter-examples/chapter8_lts
@dirrm share/examples/ltsa/chapter-examples/chapter7_lts
@dirrm share/examples/ltsa/chapter-examples/chapter6_lts
@dirrm share/examples/ltsa/chapter-examples/chapter5_lts
@dirrm share/examples/ltsa/chapter-examples/chapter4_lts
@dirrm share/examples/ltsa/chapter-examples/chapter3_lts
@dirrm share/examples/ltsa/chapter-examples/chapter2_lts/exercises
@dirrm share/examples/ltsa/chapter-examples/chapter2_lts
@dirrm share/examples/ltsa/chapter-examples/chapter12_lts
@dirrm share/examples/ltsa/chapter-examples/chapter11_lts
@dirrm share/examples/ltsa/chapter-examples/chapter10_lts
@dirrm share/examples/ltsa/chapter-examples
@dirrm share/examples/ltsa
@dirrm share/doc/ltsa
@dirrm lib/ltsa