Project

General

Profile

« Previous | Next » 

Revision 4f26dcf5

ID4f26dcf536abc80587365e39b3f5992ac85d68fa
Parent 17e1d0f4
Child 3b5419a8, 3471cb4d

Added by Pierre-Loïc Garoche 11 months ago

Renamed annots into contracts. Preparing for syntax extension

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences