Project

General

Profile

« Previous | Next » 

Revision eec8ce11

IDeec8ce11e412618ed475a4da0b16fa296ec7827b
Parent a5193ff5
Child 933ee7a3

Added by Teme Kahsai over 4 years ago

fixing double printing of horn rules

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences