Author: niels
Date: Mon Aug 4 18:37:48 2008
New Revision: 3226
URL: http://svn.gna.org/viewcvs/service-tech?rev=3226&view=rev
Log:
* removed property 'svn:executable' from the other (non-scripted) files --
these were checked out with "a+x" file properties which was pretty anoying
* biggest checking eva
Modified:
trunk/fiona/AUTHORS (props changed)
trunk/fiona/COPYING (props changed)
trunk/fiona/ChangeLog (props changed)
trunk/fiona/Doxyfile (props changed)
trunk/fiona/INSTALL (props changed)
trunk/fiona/Makefile.am (props changed)
trunk/fiona/Makefile.covcommon (props changed)
trunk/fiona/NEWS (props changed)
trunk/fiona/README (props changed)
trunk/fiona/configure.ac (props changed)
trunk/fiona/doc/Makefile.am (props changed)
trunk/fiona/doc/fiona.texi (props changed)
trunk/fiona/doc/gpl.texi (props changed)
trunk/fiona/doc/images/fiona.eps (props changed)
trunk/fiona/doc/images/fiona.pdf (props changed)
trunk/fiona/doc/images/fiona.png (props changed)
trunk/fiona/doc/images/tools4bpel.eps (props changed)
trunk/fiona/doc/images/tools4bpel.pdf (props changed)
trunk/fiona/doc/images/tools4bpel.png (props changed)
trunk/fiona/doc/install.texi (props changed)
trunk/fiona/doc/texinfo.tex (props changed)
trunk/fiona/guide/bibs-condensed.bib (props changed)
trunk/fiona/guide/bibs.bib (props changed)
trunk/fiona/guide/elsart-harv.bst (props changed)
trunk/fiona/guide/elsart-num.bst (props changed)
trunk/fiona/guide/elsart.cls (props changed)
trunk/fiona/guide/elsart1p.cls (props changed)
trunk/fiona/guide/elsart3p.cls (props changed)
trunk/fiona/guide/elsart5p.cls (props changed)
trunk/fiona/guide/guideOfFiona.tex (props changed)
trunk/fiona/guide/guideOfFionaNeu.dvi (props changed)
trunk/fiona/guide/guideOfFionaNeu.pdf (props changed)
trunk/fiona/guide/guideOfFionaNeu.tex (props changed)
trunk/fiona/guide/parts/modusoperandi.tex (props changed)
trunk/fiona/manual/manual.txt (props changed)
trunk/fiona/netze/06-03-23_BPM06_shop_sect_3.owfn (props changed)
trunk/fiona/netze/06-03-23_BPM06_shop_sect_6.owfn (props changed)
trunk/fiona/netze/060116-misc-coffee.owfn (props changed)
trunk/fiona/netze/4in1out.owfn (props changed)
trunk/fiona/netze/Melderegisterauskunft_clean.owfn (props changed)
trunk/fiona/netze/POR_CS_DW.owfn (props changed)
trunk/fiona/netze/TZ1.owfn (props changed)
trunk/fiona/netze/abc.owfn (props changed)
trunk/fiona/netze/async1.owfn (props changed)
trunk/fiona/netze/async2.owfn (props changed)
trunk/fiona/netze/async3.owfn (props changed)
trunk/fiona/netze/async4.owfn (props changed)
trunk/fiona/netze/benchmark/owfn/06-03-23_BPM06_shop_sect_3.owfn (props
changed)
trunk/fiona/netze/benchmark/owfn/06-03-23_BPM06_shop_sect_6.owfn (props
changed)
trunk/fiona/netze/benchmark/owfn/Melderegisterauskunft_clean.owfn (props
changed)
trunk/fiona/netze/benchmark/owfn/bignode1,1000000.owfn (props changed)
trunk/fiona/netze/benchmark/owfn/bignode1,2500000.owfn (props changed)
trunk/fiona/netze/benchmark/owfn/dke07_shop_sect_3.owfn (props changed)
trunk/fiona/netze/benchmark/owfn/dke07_shop_sect_6.owfn (props changed)
trunk/fiona/netze/benchmark/owfn/phcontrol3.unf.owfn (props changed)
trunk/fiona/netze/benchmark/owfn/phcontrol5.unf.owfn (props changed)
trunk/fiona/netze/benchmark/owfn/sequence10.owfn (props changed)
trunk/fiona/netze/benchmark/owfn/sequence17.owfn (props changed)
trunk/fiona/netze/bignode1,10.owfn (props changed)
trunk/fiona/netze/bignode1,100.owfn (props changed)
trunk/fiona/netze/bignode1,1000.owfn (props changed)
trunk/fiona/netze/bignode1,10000.owfn (props changed)
trunk/fiona/netze/bignode1,100000.owfn (props changed)
trunk/fiona/netze/bignode1,1000000.owfn (props changed)
trunk/fiona/netze/bignode1,1500000.owfn (props changed)
trunk/fiona/netze/bignode1,2500000.owfn (props changed)
trunk/fiona/netze/coffee.owfn (props changed)
trunk/fiona/netze/differentOGsameMPS_1.owfn.OG.png (props changed)
trunk/fiona/netze/differentOGsameMPS_1.owfn.png (props changed)
trunk/fiona/netze/differentOGsameMPS_2.owfn.OG.png (props changed)
trunk/fiona/netze/differentOGsameMPS_2.owfn.png (props changed)
trunk/fiona/netze/differentOGsameMPS_a_1.owfn (props changed)
trunk/fiona/netze/differentOGsameMPS_a_2.owfn (props changed)
trunk/fiona/netze/differentOGsameMPS_nice_1.owfn (props changed)
trunk/fiona/netze/differentOGsameMPS_nice_2.owfn (props changed)
trunk/fiona/netze/eCommerce1.Abb.5.1.owfn (props changed)
trunk/fiona/netze/eCommerce1.owfn (props changed)
trunk/fiona/netze/eCommerce1_Abb.5.1.lola (props changed)
trunk/fiona/netze/eCommerce2.Abb.7.9.owfn (props changed)
trunk/fiona/netze/gewicht2.lola (props changed)
trunk/fiona/netze/loan.owfn (props changed)
trunk/fiona/netze/myCoffee.lola (props changed)
trunk/fiona/netze/os_ohne_while.owfn (props changed)
trunk/fiona/netze/owfn.lola (props changed)
trunk/fiona/netze/phcontrol10.unf.owfn (props changed)
trunk/fiona/netze/phcontrol3.unf.owfn (props changed)
trunk/fiona/netze/phcontrol4.unf.owfn (props changed)
trunk/fiona/netze/phcontrol5.unf.owfn (props changed)
trunk/fiona/netze/phcontrol6.unf.owfn (props changed)
trunk/fiona/netze/phcontrol7.unf.owfn (props changed)
trunk/fiona/netze/phcontrol8.unf.owfn (props changed)
trunk/fiona/netze/phcontrol9.unf.owfn (props changed)
trunk/fiona/netze/purchase.owfn (props changed)
trunk/fiona/netze/relSound2.owfn (props changed)
trunk/fiona/netze/sequence10.owfn (props changed)
trunk/fiona/netze/sequence11.owfn (props changed)
trunk/fiona/netze/sequence12.owfn (props changed)
trunk/fiona/netze/sequence13.owfn (props changed)
trunk/fiona/netze/sequence14.owfn (props changed)
trunk/fiona/netze/sequence15.owfn (props changed)
trunk/fiona/netze/sequence16.owfn (props changed)
trunk/fiona/netze/sequence17.owfn (props changed)
trunk/fiona/netze/sequence18.owfn (props changed)
trunk/fiona/netze/sequence19.owfn (props changed)
trunk/fiona/netze/sequence20.owfn (props changed)
trunk/fiona/netze/sequence3.owfn (props changed)
trunk/fiona/netze/sequence4.owfn (props changed)
trunk/fiona/netze/sequence5.owfn (props changed)
trunk/fiona/netze/sequence6.owfn (props changed)
trunk/fiona/netze/sequence7.owfn (props changed)
trunk/fiona/netze/sequence8.owfn (props changed)
trunk/fiona/netze/sequence9.owfn (props changed)
trunk/fiona/netze/shipping.owfn (props changed)
trunk/fiona/netze/test9.lola (props changed)
trunk/fiona/tests/Makefile.am (props changed)
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn (props changed)
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.OG.BDD_ANN.cudd
(props changed)
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.OG.BDD_MP.cudd
(props changed)
trunk/fiona/tests/bdd_ref/phcontrol4.unf_reference.owfn.OG.png (props
changed)
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn (props changed)
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.BDD_ANN.cudd (props
changed)
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.BDD_MP.cudd (props
changed)
trunk/fiona/tests/bdd_ref/sequence3_reference.owfn.OG.png (props changed)
trunk/fiona/tests/constraints/enforce_constraintDrink.a.og (props changed)
trunk/fiona/tests/constraints/enforce_vending.owfn.a.og (props changed)
trunk/fiona/tests/countservices/1.og (props changed)
trunk/fiona/tests/countservices/acyclic.og (props changed)
trunk/fiona/tests/countservices/cyclic.og (props changed)
trunk/fiona/tests/countservices/nostrat.og (props changed)
trunk/fiona/tests/coverability/cov1.og (props changed)
trunk/fiona/tests/coverability/cov2.og (props changed)
trunk/fiona/tests/coverability/cov3.og (props changed)
trunk/fiona/tests/coverability/cov4.og (props changed)
trunk/fiona/tests/cyclic/livelockInP.owfn (props changed)
trunk/fiona/tests/cyclic/livelockInP.owfn.png (props changed)
trunk/fiona/tests/cyclic/zyklusP.owfn (props changed)
trunk/fiona/tests/cyclic/zyklusP.owfn.png (props changed)
trunk/fiona/tests/cyclic/zyklusPmitCommit.owfn (props changed)
trunk/fiona/tests/cyclic/zyklusPmitCommit.owfn.png (props changed)
trunk/fiona/tests/cyclic/zyklusR.owfn (props changed)
trunk/fiona/tests/cyclic/zyklusR.owfn.png (props changed)
trunk/fiona/tests/cyclic/zyklusReturn.owfn (props changed)
trunk/fiona/tests/cyclic/zyklusReturn.owfn.png (props changed)
trunk/fiona/tests/extrema/all_final_marking.owfn (props changed)
trunk/fiona/tests/extrema/all_final_marking.owfn.png (props changed)
trunk/fiona/tests/extrema/empty.owfn (props changed)
trunk/fiona/tests/extrema/empty.owfn.png (props changed)
trunk/fiona/tests/extrema/filename WiTh SpaCeS.owfn (props changed)
trunk/fiona/tests/extrema/filename WiTh SpaCeS.owfn.png (props changed)
trunk/fiona/tests/extrema/initial_marking_midways.owfn (props changed)
trunk/fiona/tests/extrema/initialmarking_is_a_finalmarking.owfn (props
changed)
trunk/fiona/tests/extrema/innerUnbounded.owfn (props changed)
trunk/fiona/tests/extrema/multiple_input.owfn (props changed)
trunk/fiona/tests/extrema/multiple_input.owfn.png (props changed)
trunk/fiona/tests/extrema/multiple_input_multiple_output.owfn (props
changed)
trunk/fiona/tests/extrema/multiple_input_multiple_output.owfn.png (props
changed)
trunk/fiona/tests/extrema/multiple_output.owfn (props changed)
trunk/fiona/tests/extrema/multiple_output.owfn.png (props changed)
trunk/fiona/tests/extrema/no_communication.owfn (props changed)
trunk/fiona/tests/extrema/no_communication.owfn.png (props changed)
trunk/fiona/tests/extrema/no_final_marking.owfn (props changed)
trunk/fiona/tests/extrema/no_final_marking.owfn.png (props changed)
trunk/fiona/tests/extrema/no_initial_marking.owfn (props changed)
trunk/fiona/tests/extrema/no_initial_marking.owfn.png (props changed)
trunk/fiona/tests/extrema/no_initial_marking2.owfn (props changed)
trunk/fiona/tests/extrema/no_initial_marking2.owfn.png (props changed)
trunk/fiona/tests/extrema/non_empty_true_node.owfn (props changed)
trunk/fiona/tests/extrema/non_empty_true_node2.owfn (props changed)
trunk/fiona/tests/extrema/one_input.owfn (props changed)
trunk/fiona/tests/extrema/one_input.owfn.png (props changed)
trunk/fiona/tests/extrema/one_input_2.owfn (props changed)
trunk/fiona/tests/extrema/one_input_2.owfn.png (props changed)
trunk/fiona/tests/extrema/one_input_marked.owfn (props changed)
trunk/fiona/tests/extrema/one_input_marked.owfn.png (props changed)
trunk/fiona/tests/extrema/one_input_one_output.owfn (props changed)
trunk/fiona/tests/extrema/one_input_one_output.owfn.png (props changed)
trunk/fiona/tests/extrema/one_output.owfn (props changed)
trunk/fiona/tests/extrema/one_output.owfn.png (props changed)
trunk/fiona/tests/extrema/one_output_marked.owfn (props changed)
trunk/fiona/tests/extrema/one_output_marked.owfn.png (props changed)
trunk/fiona/tests/extrema/transient_finalmarking.owfn (props changed)
trunk/fiona/tests/falseannos/bluefalsenode.expected.og (props changed)
trunk/fiona/tests/falseannos/bluefalsenode.og (props changed)
trunk/fiona/tests/falseannos/shorten.expected.og (props changed)
trunk/fiona/tests/falseannos/shorten.og (props changed)
trunk/fiona/tests/falseannos/violating.expected.og (props changed)
trunk/fiona/tests/falseannos/violating.og (props changed)
trunk/fiona/tests/matching/agency_traveler.og (props changed)
trunk/fiona/tests/matching/agency_traveler.owfn (props changed)
trunk/fiona/tests/matching/airline.og (props changed)
trunk/fiona/tests/matching/airline.owfn (props changed)
trunk/fiona/tests/matching/client_match_1.owfn (props changed)
trunk/fiona/tests/matching/client_nomatch_1.owfn (props changed)
trunk/fiona/tests/matching/client_nomatch_2.owfn (props changed)
trunk/fiona/tests/matching/client_nosupport_1.owfn (props changed)
trunk/fiona/tests/matching/interface_rcv-a_snd-b.og (props changed)
trunk/fiona/tests/matching/interface_rcv-a_snd-b.og.png (props changed)
trunk/fiona/tests/matching/interface_rcv-a_snd-by.owfn (props changed)
trunk/fiona/tests/matching/interface_rcv-a_snd-by.owfn.png (props changed)
trunk/fiona/tests/matching/interface_rcv-ax_snd-b.owfn (props changed)
trunk/fiona/tests/matching/interface_rcv-ax_snd-b.owfn.png (props changed)
trunk/fiona/tests/matching/shop.og (props changed)
trunk/fiona/tests/matching/shop_rednodes.og (props changed)
trunk/fiona/tests/messagebound/innerBounded.owfn (props changed)
trunk/fiona/tests/messagebound/messageboundtest1.owfn (props changed)
trunk/fiona/tests/messagebound/messageboundtest2.owfn (props changed)
trunk/fiona/tests/messagebound/messageboundtest3.owfn (props changed)
trunk/fiona/tests/messagebound/messageboundtest4.owfn (props changed)
trunk/fiona/tests/messagebound/messageboundtest5.owfn (props changed)
trunk/fiona/tests/messagebound/unlimited-communication.owfn (props
changed)
trunk/fiona/tests/minimize/06-03-23_BPM06_shop_sect_3.owfn.og (props
changed)
trunk/fiona/tests/minimize/4-loop.og (props changed)
trunk/fiona/tests/minimize/final_non-final.og (props changed)
trunk/fiona/tests/minimize/keesCoffee_condition.emptyNode.og (props
changed)
trunk/fiona/tests/minimize/keesCoffee_condition.og (props changed)
trunk/fiona/tests/minimize/myCoffee.og (props changed)
trunk/fiona/tests/minimize/non-final_final.og (props changed)
trunk/fiona/tests/minimize/nostrat.og (props changed)
trunk/fiona/tests/minimize/sample.og (props changed)
trunk/fiona/tests/oWFNreduction/06-03-23_BPM06_shop_sect_6.owfn (props
changed)
trunk/fiona/tests/oWFNreduction/060116-misc-coffee.owfn (props changed)
trunk/fiona/tests/oWFNreduction/phcontrol3.unf.owfn (props changed)
trunk/fiona/tests/partner/coffee-partner.expected.owfn (props changed)
trunk/fiona/tests/partner/coffee.owfn (props changed)
trunk/fiona/tests/partner/coffee2-partner.expected.owfn (props changed)
trunk/fiona/tests/partner/coffee2.owfn (props changed)
trunk/fiona/tests/partner/coffee_extended-partner.expected.owfn (props
changed)
trunk/fiona/tests/partner/coffee_extended.owfn (props changed)
trunk/fiona/tests/partner/sequence3-partner.expected.owfn (props changed)
trunk/fiona/tests/philosophers/phcontrol10.unf.owfn (props changed)
trunk/fiona/tests/philosophers/phcontrol10.unf.owfn.png (props changed)
trunk/fiona/tests/philosophers/phcontrol3.unf.owfn (props changed)
trunk/fiona/tests/philosophers/phcontrol3.unf.owfn.png (props changed)
trunk/fiona/tests/philosophers/phcontrol4.unf.owfn (props changed)
trunk/fiona/tests/philosophers/phcontrol4.unf.owfn.png (props changed)
trunk/fiona/tests/philosophers/phcontrol5.unf.owfn (props changed)
trunk/fiona/tests/philosophers/phcontrol5.unf.owfn.png (props changed)
trunk/fiona/tests/philosophers/phcontrol6.unf.owfn (props changed)
trunk/fiona/tests/philosophers/phcontrol6.unf.owfn.png (props changed)
trunk/fiona/tests/philosophers/phcontrol7.unf.owfn (props changed)
trunk/fiona/tests/philosophers/phcontrol7.unf.owfn.png (props changed)
trunk/fiona/tests/philosophers/phcontrol8.unf.owfn (props changed)
trunk/fiona/tests/philosophers/phcontrol8.unf.owfn.png (props changed)
trunk/fiona/tests/philosophers/phcontrol9.unf.owfn (props changed)
trunk/fiona/tests/philosophers/phcontrol9.unf.owfn.png (props changed)
trunk/fiona/tests/png/big.owfn (props changed)
trunk/fiona/tests/productog/1.og (props changed)
trunk/fiona/tests/productog/1x2.expected.og (props changed)
trunk/fiona/tests/productog/1x2x3.expected.og (props changed)
trunk/fiona/tests/productog/2.og (props changed)
trunk/fiona/tests/productog/3.og (props changed)
trunk/fiona/tests/productog/3x1x2.expected.og (props changed)
trunk/fiona/tests/publicview/NonFinalTauNode1.owfn (props changed)
trunk/fiona/tests/publicview/NonFinalTauNode1not.owfn (props changed)
trunk/fiona/tests/publicview/NonFinalTauNode2.owfn (props changed)
trunk/fiona/tests/publicview/NonFinalTauNode2not.owfn (props changed)
trunk/fiona/tests/publicview/NonFinalTauNode3.owfn (props changed)
trunk/fiona/tests/publicview/NonFinalTauNode4.owfn (props changed)
trunk/fiona/tests/publicview/complexPV.owfn (props changed)
trunk/fiona/tests/publicview/complexPV.owfn.og (props changed)
trunk/fiona/tests/publicview/non_empty_true_node2.owfn (props changed)
trunk/fiona/tests/publicview/non_empty_true_node3.owfn (props changed)
trunk/fiona/tests/samples/06-03-23_BPM06_shop_sect_3.owfn (props changed)
trunk/fiona/tests/samples/06-03-23_BPM06_shop_sect_6.owfn (props changed)
trunk/fiona/tests/samples/dke.allnodes.og (props changed)
trunk/fiona/tests/samples/dke.empty.og (props changed)
trunk/fiona/tests/samples/dke.og (props changed)
trunk/fiona/tests/samples/dke07_shop_sect_3.owfn (props changed)
trunk/fiona/tests/samples/dke07_shop_sect_6.owfn (props changed)
trunk/fiona/tests/samples/keesCoffee_condition.owfn (props changed)
trunk/fiona/tests/samples/keesCoffee_condition.owfn.png (props changed)
trunk/fiona/tests/samples/myCoffee.owfn (props changed)
trunk/fiona/tests/samples/myCoffee.owfn.png (props changed)
trunk/fiona/tests/samples/sequence9.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence10.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence11.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence12.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence13.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence14.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence15.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence16.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence17.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence18.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence19.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence20.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence3.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence4.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence5.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence6.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence7.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence8.owfn (props changed)
trunk/fiona/tests/sequence_suite/sequence9.owfn (props changed)
trunk/fiona/tests/sim_og/coarse-chopped.og (props changed)
trunk/fiona/tests/sim_og/coarse.og (props changed)
trunk/fiona/tests/sim_og/compact.og (props changed)
trunk/fiona/tests/sim_og/cyclic1.og (props changed)
trunk/fiona/tests/sim_og/cyclic2.og (props changed)
trunk/fiona/tests/sim_og/trafo_rule3_N7.owfn (props changed)
trunk/fiona/tests/sim_og/trafo_rule3_N8.owfn (props changed)
trunk/fiona/tests/sim_og/trafo_rule4_N10.owfn (props changed)
trunk/fiona/tests/sim_og/trafo_rule4_N9.owfn (props changed)
trunk/fiona/tests/sim_og/trafo_wsfm_M0.owfn (props changed)
trunk/fiona/tests/sim_og/trafo_wsfm_M1.owfn (props changed)
trunk/fiona/tests/sim_og/trafo_wsfm_M2.owfn (props changed)
trunk/fiona/tests/sim_og/trafo_wsfm_M3.owfn (props changed)
trunk/fiona/tests/slistcheck.cc (props changed)
trunk/fiona/tests/statesReduction/06-03-23_BPM06_shop_sect_3.owfn (props
changed)
trunk/fiona/tests/statesReduction/06-03-23_BPM06_shop_sect_6.owfn (props
changed)
trunk/fiona/tests/statesReduction/Reservations.owfn (props changed)
trunk/fiona/tests/statesReduction/dke07_shop_sect_3.owfn (props changed)
trunk/fiona/tests/statesReduction/dke07_shop_sect_3_noMax.owfn (props
changed)
trunk/fiona/tests/statesReduction/dke07_shop_sect_6.owfn (props changed)
trunk/fiona/tests/statesReduction/myCoffee.owfn (props changed)
trunk/fiona/tests/syntax/formula.owfn (props changed)
trunk/fiona/tests/syntax/formula.owfn.expected.og (props changed)
trunk/fiona/tests/syntax/max_occurrence.owfn (props changed)
trunk/fiona/tests/syntax/syntax_example.owfn (props changed)
trunk/fiona/tests/syntax/syntax_example_new.owfn (props changed)
trunk/fiona/tests/syntax/syntax_example_new_short.owfn (props changed)
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to [EMAIL
PROTECTED] If you want to unsubscribe or make any changes to your subscription,
please go to
https://mail.gna.org/listinfo/service-tech-commits.
