Author: niels
Date: Mon May 26 09:34:56 2014
New Revision: 9448
URL: http://svn.gna.org/viewcvs/service-tech?rev=9448&view=rev
Log:
* fixed build
Modified:
trunk/lola2/doc/lola.texi
Modified: trunk/lola2/doc/lola.texi
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/doc/lola.texi?rev=9448&r1=9447&r2=9448&view=diff
==============================================================================
--- trunk/lola2/doc/lola.texi (original)
+++ trunk/lola2/doc/lola.texi Mon May 26 09:34:56 2014
@@ -1757,7 +1757,7 @@
@item @code{analysis.formula.type} [string]
The type of the formula. LoLA tries to find the most special type to choose the
-most efficient algorithm. Therefore, formulae like `EF \math{P}' are not
+most efficient algorithm. Therefore, formulae like `EF @math{P}' are not
checked using @acronym{CTL} routines, but rather using more efficient
reachability algorithms.
--
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.
