Mercurial > repos > mikel-egana-aranguren > oppl
annotate OPPL/inference_lib/aterm-java-1.6.jar @ 16:6c25e717c896 draft
Source for OPPL query fixed
author | Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
---|---|
date | Thu, 02 Aug 2012 09:22:57 +0200 |
parents | 6ca67b155e32 |
children |
rev | line source |
---|---|
11
6ca67b155e32
Imports simplified, new tool for inference added
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff
changeset
|
1 (binary:application/java-archive) |