head 1.3; access; symbols pkgsrc-2023Q4:1.3.0.116 pkgsrc-2023Q4-base:1.3 pkgsrc-2023Q3:1.3.0.114 pkgsrc-2023Q3-base:1.3 pkgsrc-2023Q2:1.3.0.112 pkgsrc-2023Q2-base:1.3 pkgsrc-2023Q1:1.3.0.110 pkgsrc-2023Q1-base:1.3 pkgsrc-2022Q4:1.3.0.108 pkgsrc-2022Q4-base:1.3 pkgsrc-2022Q3:1.3.0.106 pkgsrc-2022Q3-base:1.3 pkgsrc-2022Q2:1.3.0.104 pkgsrc-2022Q2-base:1.3 pkgsrc-2022Q1:1.3.0.102 pkgsrc-2022Q1-base:1.3 pkgsrc-2021Q4:1.3.0.100 pkgsrc-2021Q4-base:1.3 pkgsrc-2021Q3:1.3.0.98 pkgsrc-2021Q3-base:1.3 pkgsrc-2021Q2:1.3.0.96 pkgsrc-2021Q2-base:1.3 pkgsrc-2021Q1:1.3.0.94 pkgsrc-2021Q1-base:1.3 pkgsrc-2020Q4:1.3.0.92 pkgsrc-2020Q4-base:1.3 pkgsrc-2020Q3:1.3.0.90 pkgsrc-2020Q3-base:1.3 pkgsrc-2020Q2:1.3.0.86 pkgsrc-2020Q2-base:1.3 pkgsrc-2020Q1:1.3.0.66 pkgsrc-2020Q1-base:1.3 pkgsrc-2019Q4:1.3.0.88 pkgsrc-2019Q4-base:1.3 pkgsrc-2019Q3:1.3.0.84 pkgsrc-2019Q3-base:1.3 pkgsrc-2019Q2:1.3.0.82 pkgsrc-2019Q2-base:1.3 pkgsrc-2019Q1:1.3.0.80 pkgsrc-2019Q1-base:1.3 pkgsrc-2018Q4:1.3.0.78 pkgsrc-2018Q4-base:1.3 pkgsrc-2018Q3:1.3.0.76 pkgsrc-2018Q3-base:1.3 pkgsrc-2018Q2:1.3.0.74 pkgsrc-2018Q2-base:1.3 pkgsrc-2018Q1:1.3.0.72 pkgsrc-2018Q1-base:1.3 pkgsrc-2017Q4:1.3.0.70 pkgsrc-2017Q4-base:1.3 pkgsrc-2017Q3:1.3.0.68 pkgsrc-2017Q3-base:1.3 pkgsrc-2017Q2:1.3.0.64 pkgsrc-2017Q2-base:1.3 pkgsrc-2017Q1:1.3.0.62 pkgsrc-2017Q1-base:1.3 pkgsrc-2016Q4:1.3.0.60 pkgsrc-2016Q4-base:1.3 pkgsrc-2016Q3:1.3.0.58 pkgsrc-2016Q3-base:1.3 pkgsrc-2016Q2:1.3.0.56 pkgsrc-2016Q2-base:1.3 pkgsrc-2016Q1:1.3.0.54 pkgsrc-2016Q1-base:1.3 pkgsrc-2015Q4:1.3.0.52 pkgsrc-2015Q4-base:1.3 pkgsrc-2015Q3:1.3.0.50 pkgsrc-2015Q3-base:1.3 pkgsrc-2015Q2:1.3.0.48 pkgsrc-2015Q2-base:1.3 pkgsrc-2015Q1:1.3.0.46 pkgsrc-2015Q1-base:1.3 pkgsrc-2014Q4:1.3.0.44 pkgsrc-2014Q4-base:1.3 pkgsrc-2014Q3:1.3.0.42 pkgsrc-2014Q3-base:1.3 pkgsrc-2014Q2:1.3.0.40 pkgsrc-2014Q2-base:1.3 pkgsrc-2014Q1:1.3.0.38 pkgsrc-2014Q1-base:1.3 pkgsrc-2013Q4:1.3.0.36 pkgsrc-2013Q4-base:1.3 pkgsrc-2013Q3:1.3.0.34 pkgsrc-2013Q3-base:1.3 pkgsrc-2013Q2:1.3.0.32 pkgsrc-2013Q2-base:1.3 pkgsrc-2013Q1:1.3.0.30 pkgsrc-2013Q1-base:1.3 pkgsrc-2012Q4:1.3.0.28 pkgsrc-2012Q4-base:1.3 pkgsrc-2012Q3:1.3.0.26 pkgsrc-2012Q3-base:1.3 pkgsrc-2012Q2:1.3.0.24 pkgsrc-2012Q2-base:1.3 pkgsrc-2012Q1:1.3.0.22 pkgsrc-2012Q1-base:1.3 pkgsrc-2011Q4:1.3.0.20 pkgsrc-2011Q4-base:1.3 pkgsrc-2011Q3:1.3.0.18 pkgsrc-2011Q3-base:1.3 pkgsrc-2011Q2:1.3.0.16 pkgsrc-2011Q2-base:1.3 pkgsrc-2011Q1:1.3.0.14 pkgsrc-2011Q1-base:1.3 pkgsrc-2010Q4:1.3.0.12 pkgsrc-2010Q4-base:1.3 pkgsrc-2010Q3:1.3.0.10 pkgsrc-2010Q3-base:1.3 pkgsrc-2010Q2:1.3.0.8 pkgsrc-2010Q2-base:1.3 pkgsrc-2010Q1:1.3.0.6 pkgsrc-2010Q1-base:1.3 pkgsrc-2009Q4:1.3.0.4 pkgsrc-2009Q4-base:1.3 pkgsrc-2009Q3:1.3.0.2 pkgsrc-2009Q3-base:1.3 pkgsrc-2009Q2:1.2.0.2 pkgsrc-2009Q2-base:1.2 pkgsrc-2009Q1:1.1.1.1.0.46 pkgsrc-2009Q1-base:1.1.1.1 pkgsrc-2008Q4:1.1.1.1.0.44 pkgsrc-2008Q4-base:1.1.1.1 pkgsrc-2008Q3:1.1.1.1.0.42 pkgsrc-2008Q3-base:1.1.1.1 cube-native-xorg:1.1.1.1.0.40 cube-native-xorg-base:1.1.1.1 pkgsrc-2008Q2:1.1.1.1.0.38 pkgsrc-2008Q2-base:1.1.1.1 cwrapper:1.1.1.1.0.36 pkgsrc-2008Q1:1.1.1.1.0.34 pkgsrc-2008Q1-base:1.1.1.1 pkgsrc-2007Q4:1.1.1.1.0.32 pkgsrc-2007Q4-base:1.1.1.1 pkgsrc-2007Q3:1.1.1.1.0.30 pkgsrc-2007Q3-base:1.1.1.1 pkgsrc-2007Q2:1.1.1.1.0.28 pkgsrc-2007Q2-base:1.1.1.1 pkgsrc-2007Q1:1.1.1.1.0.26 pkgsrc-2007Q1-base:1.1.1.1 pkgsrc-2006Q4:1.1.1.1.0.24 pkgsrc-2006Q4-base:1.1.1.1 pkgsrc-2006Q3:1.1.1.1.0.22 pkgsrc-2006Q3-base:1.1.1.1 pkgsrc-2006Q2:1.1.1.1.0.20 pkgsrc-2006Q2-base:1.1.1.1 pkgsrc-2006Q1:1.1.1.1.0.18 pkgsrc-2006Q1-base:1.1.1.1 pkgsrc-2005Q4:1.1.1.1.0.16 pkgsrc-2005Q4-base:1.1.1.1 pkgsrc-2005Q3:1.1.1.1.0.14 pkgsrc-2005Q3-base:1.1.1.1 pkgsrc-2005Q2:1.1.1.1.0.12 pkgsrc-2005Q2-base:1.1.1.1 pkgsrc-2005Q1:1.1.1.1.0.10 pkgsrc-2005Q1-base:1.1.1.1 pkgsrc-2004Q4:1.1.1.1.0.8 pkgsrc-2004Q4-base:1.1.1.1 pkgsrc-2004Q3:1.1.1.1.0.6 pkgsrc-2004Q3-base:1.1.1.1 pkgsrc-2004Q2:1.1.1.1.0.4 pkgsrc-2004Q2-base:1.1.1.1 pkgsrc-2004Q1:1.1.1.1.0.2 pkgsrc-2004Q1-base:1.1.1.1 pkgsrc-base:1.1.1.1 TNF:1.1.1; locks; strict; comment @# @; 1.3 date 2009.09.09.07.27.56; author hasso; state Exp; branches; next 1.2; 1.2 date 2009.06.14.17.48.57; author joerg; state Exp; branches; next 1.1; 1.1 date 2004.02.29.22.21.19; author jmmv; state Exp; branches 1.1.1.1; next ; 1.1.1.1 date 2004.02.29.22.21.19; author jmmv; state Exp; branches; next ; desc @@ 1.3 log @Really unbreak after unzip changes. Bump PKGREVISION. @ text @@@comment $NetBSD: PLIST,v 1.2 2009/06/14 17:48:57 joerg 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 @ 1.2 log @Remove @@dirrm entries from PLISTs @ text @d1 1 a1 1 @@comment $NetBSD: PLIST,v 1.1.1.1 2004/02/29 22:21:19 jmmv Exp $ d12 159 a170 159 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 @ 1.1 log @Initial revision @ text @d1 1 a1 1 @@comment $NetBSD$ a170 19 @@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 @ 1.1.1.1 log @Initial import of ltsa (Labelled Transition System Analyser), version 2.2: A model is a simplified representation of the real world. Engineers use models to gain confidence in the adequacy and validity of a proposed design. Models are described using state machines, known as Labelled Transition Systems (LTS). These are described textually as Finite State Processes (FSP) and displayed and analysed by the LTSA analysis tool. This package provides the LTSA utility exposed above. It is specially useful to be used together with the 'Concurrency: State Models & Java Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/. @ text @@