[service-technology.org] r7602 - in /trunk/lola2: meetings_protocols/2012-05-23-Todo src/Core/main.cc src/Exploration/SimpleProperty.cc src/Parser/ParserPTFormula.yy src/Parser/formula_abstract.k src/Parser/formula_rewrite.k src/Parser/formula_unparse.k

Wed, 23 May 2012 02:37:44 -0700 

Author: niels
Date: Wed May 23 11:37:38 2012
New Revision: 7602

URL: http://svn.gna.org/viewcvs/service-tech?rev=7602&view=rev
Log:
* Regeln konsolidiert
* Todos gesammelt


Added:
    trunk/lola2/meetings_protocols/2012-05-23-Todo
Modified:
    trunk/lola2/src/Core/main.cc
    trunk/lola2/src/Exploration/SimpleProperty.cc
    trunk/lola2/src/Parser/ParserPTFormula.yy
    trunk/lola2/src/Parser/formula_abstract.k
    trunk/lola2/src/Parser/formula_rewrite.k
    trunk/lola2/src/Parser/formula_unparse.k


-- 
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.

Reply via email to