Author: niels
Date: Thu Jan 23 10:20:10 2014
New Revision: 8854
URL: http://svn.gna.org/viewcvs/service-tech?rev=8854&view=rev
Log:
updated grammars
Added:
trunk/lola2/doc/grammars/formula/
trunk/lola2/doc/grammars/formula.html (with props)
trunk/lola2/doc/grammars/formula/atomic_proposition.png (with props)
trunk/lola2/doc/grammars/formula/binary_temporal_operator.png (with props)
trunk/lola2/doc/grammars/formula/boolean_operator.png (with props)
trunk/lola2/doc/grammars/formula/formula.png (with props)
trunk/lola2/doc/grammars/formula/path_quantifier.png (with props)
trunk/lola2/doc/grammars/formula/rr-1.31.721.png (with props)
trunk/lola2/doc/grammars/formula/statepredicate.png (with props)
trunk/lola2/doc/grammars/formula/term.png (with props)
trunk/lola2/doc/grammars/formula/term_comparison_operator.png (with props)
trunk/lola2/doc/grammars/formula/unary_temporal_operator.png (with props)
trunk/lola2/doc/grammars/net/
trunk/lola2/doc/grammars/net.html (with props)
trunk/lola2/doc/grammars/net/arc.png (with props)
trunk/lola2/doc/grammars/net/arc_list.png (with props)
trunk/lola2/doc/grammars/net/capacity.png (with props)
trunk/lola2/doc/grammars/net/fairness.png (with props)
trunk/lola2/doc/grammars/net/marking.png (with props)
trunk/lola2/doc/grammars/net/marking_list.png (with props)
trunk/lola2/doc/grammars/net/net.png (with props)
trunk/lola2/doc/grammars/net/nodeident.png (with props)
trunk/lola2/doc/grammars/net/place_list.png (with props)
trunk/lola2/doc/grammars/net/place_lists.png (with props)
trunk/lola2/doc/grammars/net/rr-1.31.721.png (with props)
trunk/lola2/doc/grammars/net/transition.png (with props)
Modified:
trunk/lola2/doc/grammars/net.ebnf
trunk/lola2/doc/lola.texi
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
service-tech-commits@gna.org. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
