Project

General

Profile

« Previous | Next » 

Revision 5775ac97

Added by Xavier Thirioux almost 6 years ago

bug correction in automata.ml (order of assigned variables was not always coherent between automata branches)

  • added
  • modified
  • copied
  • renamed
  • deleted