Recent changes to Home

Discussion for Home page

Simon Wright — Mon, 26 Feb 2018 16:46:38 -0000

It is set to compile with -gnat05, i.e. Ada 2005 mode. You can override this with -gnat2012 in the compiler options (and -gnata if you want to use preconditions etc).

I won't be using it myself (because Emacs) but I have to say the way it formats keywords to UPPER CASE is so last century!

Discussion for Home page

david john — Mon, 26 Feb 2018 16:05:56 -0000

Is AdaGIDE Ada 2012 compliant? Ada 2005 compliant?

WikiPage Home modified by Martin Krischik

Martin Krischik — Sat, 15 Sep 2012 09:43:06 -0000

Welcome to your wiki! This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage]. The wiki uses [Markdown](/p/gnuada/wiki/markdown_syntax/) syntax. [[project_admins]] [[download_button]]