- while and if should extend to the right as much as possible.
To really have if and while to extend to the right as far as possible,
one needs to change the pretty printer, too.
native compilation for checker
An erratum item added ;-(
An erratum item added ;-(
*.cmx added
another erratum item ;-(
A valid user name should start with an alphabet.
More auto-generated files listed
.gitignore confilct resolved
Merge branch 'master' into localization

Conflicts:
	.gitignore