[DEECo] [d3scomp/JDEECo] 5e5c99: checking LTL - first version

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 5e5c99aaa507e2bfc1f50e3dc987e9c4a8926c00
      https://github.com/d3scomp/JDEECo/commit/5e5c99aaa507e2bfc1f50e3dc987e9c4a8926c00
  Author: pparizek <parizek at d3s.mff.cuni.cz>
  Date:   2013-06-05 (Wed, 05 Jun 2013)

  Changed paths:
    M jdeeco-demo/build.xml
    A jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf
    A jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoy/LocalLauncherConvoyLTL.java
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepositoryJPF.java

  Log Message:
  -----------
  checking LTL - first version