Prova Rule Language

Prova Rule Language

Summary

Description

Issues: 30 Day Summary


Issues: 3 created and 3 resolved

Issues: Updated recently

  • Improvement PROVA-88 Updated: 07/May/12 Remove unnecessary synchronization of parallel goals
  • Bug PROVA-90 Updated: 28/Apr/12 Rename the 'aux' package that git does not like under WIndows
  • Bug PROVA-89 Updated: 28/Apr/12 Correct the test scala2.prova

Activity Stream