9th Git Release

Jazzpirate released this 20 Dec 08:41

· 3426 commits to release since this release

Preliminary implementation of parametric theories (experimental!)
fixed lexing of float literals
TGView updated
Travis testing improved
Preliminary support for Java 9
Bumped scala version to 2.11.12
Simplifier improved

See #274

Assets 3