Project

General

Profile

« Previous | Next » 

Revision 67ef9395

ID67ef9395ec3f9b237c285556938f1e9ce2315e40
Parent 3050ca8f
Child e998fc16

Added by Pierre-Loïc Garoche about 2 months ago

minor bugs solved in printer: guarantee vs guarantees in cocospec. Imported node shall not be printed as regular code since it is not part of the grammar yet. Kept them as comment.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences