Author: niels
Date: Fri Apr 9 23:14:10 2010
New Revision: 5608
URL: http://svn.gna.org/viewcvs/service-tech?rev=5608&view=rev
Log:
* applied astyle
Modified:
trunk/bpel2owfn/src/ast-details.cc
trunk/bpel2owfn/src/cfg.cc
trunk/bpel2owfn/src/debug.cc
trunk/bpel2owfn/src/petrinet.cc
trunk/diane/src/decomposition.cc
trunk/diane/src/decomposition.h
trunk/diane/src/main.cc
trunk/diane/src/verbose.cc
trunk/diane/src/verbose.h
trunk/lola/src/buchi.H
trunk/lola/src/buchi.cc
trunk/lola/src/check.H
trunk/lola/src/check.cc
trunk/lola/src/configs/userconfig.H.fulllimited
trunk/lola/src/dimensions.cc
trunk/lola/src/formula.H
trunk/lola/src/formula.cc
trunk/lola/src/graph.H
trunk/lola/src/graph.cc
trunk/lola/src/ltl.H
trunk/lola/src/ltl.cc
trunk/lola/src/net.H
trunk/lola/src/net.cc
trunk/lola/src/path.H
trunk/lola/src/path.cc
trunk/lola/src/printnet.H
trunk/lola/src/printnet.cc
trunk/lola/src/structure.H
trunk/lola/src/stubborn.H
trunk/lola/src/stubborn.cc
trunk/lola/src/sweep.H
trunk/lola/src/sweep.cc
trunk/lola/src/symboltab.H
trunk/lola/src/symboltab.cc
trunk/lola/src/symm.H
trunk/lola/src/symm.cc
trunk/lola/src/tinv.H
trunk/lola/src/tinv.cc
trunk/lola/src/unfold.H
trunk/lola/src/unfold.cc
trunk/lola/src/userconfig.H
trunk/meta/hello/src/Output.cc
trunk/meta/hello/src/main.cc
trunk/meta/hello/src/verbose.cc
trunk/meta/hello/src/verbose.h
trunk/rachel/src/Graph.cc
trunk/rachel/src/main.cc
trunk/rebecca/ChangeLog
trunk/rebecca/NEWS
trunk/rebecca/doc/ChangeLog.txt
trunk/rebecca/src/Output.cc
trunk/rebecca/src/choreography.cc
trunk/rebecca/src/choreography.h
trunk/rebecca/src/main.cc
trunk/rebecca/src/peer.cc
trunk/rebecca/src/peer.h
trunk/rebecca/src/peerautomaton.cc
trunk/rebecca/src/peerautomaton.h
trunk/rebecca/src/rebeccaio.cc
trunk/rebecca/src/rebeccaio.h
trunk/rebecca/src/types.h
trunk/rebecca/src/verbose.cc
trunk/rebecca/src/verbose.h
--
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.
