Project

General

Profile

« Previous | Next » 

Revision acdfa184

IDacdfa184e1af3a3e1bde055f6721cf9cc08645c6
Parent 6d8c9ff0
Child 749e8fb4

Added by Andreas Kohlbecker over 1 year ago

ref #8437 using TermType.getGeneralizationOf() to expand the termType restriction

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)