Project

General

Profile

« Previous | Next » 

Revision 17e1d0f4

ID17e1d0f4d82d6bca3e27942f365ab68c11c5ee5d
Parent 37d3e0eb
Child 4f26dcf5

Added by Pierre-Loïc Garoche 11 months ago

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences