Project

General

Profile

« Previous | Next » 

Revision 6c56ee87

ID6c56ee878aa8391e37cbdfa947e0a10879aeacb7
Parent a1bd384c
Child 82e3ca05

Added by Katja Luther over 4 years ago

#5908: add a default representation to a term with no representation

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)