Documentation for the JGNAT compiler