Mercurial > repos > mikel-egana-aranguren > oppl

diff OPPL/oppl.sh @ 7:756f1f5798bf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added (Properly) reasoner option (Pellet or HermiT)
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sun, 18 Sep 2011 12:57:22 +0200
parents 5255f1333cc4
children
line wrap: on
line diff