Author: niels
Date: Wed Jan 29 13:12:13 2014
New Revision: 8913
URL: http://svn.gna.org/viewcvs/service-tech?rev=8913&view=rev
Log:
* updated formula grammar after removing DEADLOCK
Modified:
trunk/lola2/doc/grammars/formula.ebnf
trunk/lola2/doc/grammars/formula.html
trunk/lola2/doc/grammars/formula.xhtml
trunk/lola2/doc/grammars/formula/atomic_proposition.png
trunk/lola2/doc/grammars/formula/binary_temporal_operator.png
trunk/lola2/doc/grammars/formula/boolean_operator.png
trunk/lola2/doc/grammars/formula/formula.png
trunk/lola2/doc/grammars/formula/path_quantifier.png
trunk/lola2/doc/grammars/formula/rr-1.31.721.png
trunk/lola2/doc/grammars/formula/statepredicate.png
trunk/lola2/doc/grammars/formula/term.png
trunk/lola2/doc/grammars/formula/term_comparison_operator.png
trunk/lola2/doc/grammars/formula/unary_temporal_operator.png
--
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.
