log

age author description
Sun, 18 Sep 2011 12:57:22 +0200 Mikel EgaƱa Aranguren Added (Properly) reasoner option (Pellet or HermiT)