Project

General

Profile

« Previous | Next » 

Revision d9d34564

Added by Pierre-Loïc Garoche about 9 years ago

Bug solved on tuple equalities in expressions (eg. OK = (a,b,c) = (d,e,f))

  • added
  • modified
  • copied
  • renamed
  • deleted