Project

General

Profile

« Previous | Next » 

Revision 17e1d0f4

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

- Removed the kind2 file (parser/lexer/types)
- Cleaned a little bit our parser: removal of old prelude constructs

  • added
  • modified
  • copied
  • renamed
  • deleted