Project

General

Profile

« Previous | Next » 

Revision c11d7e10

IDc11d7e108dfc89b7e07b1133a839c4e83de67f4d
Parent d5de0b1f
Child a8393f17

Added by Andreas Kohlbecker about 2 months ago

ref #9265 implementing test for nom-ref and protologues, also preparing for ref #9319

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)