Project

General

Profile

« Previous | Next » 

Revision 67ef9395

Added by Pierre-Loïc Garoche almost 4 years 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.

  • added
  • modified
  • copied
  • renamed
  • deleted