aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gnat-style.texi
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: Document new SPARK aspect and pragma Always_TerminatesPiotr Trojanek1-35/+33
2023-12-19ada: Do not issue SPARK legality error if SPARK_Mode ignoredYannick Moy1-33/+35
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-2/+2
2023-10-19ada: Document gnatbind -Q switchPatrick Bernardi1-2/+2
2023-05-15ada: GNAT UGN: Add section documenting PIE being enabled by default on LinuxJoel Brobecker1-3/+3
2022-11-14Revert "sphinx: ada: port to Sphinx"Martin Liska1-0/+1437
2022-11-09sphinx: ada: port to SphinxMartin Liska1-1437/+0
2022-09-02[Ada] Update documentation about non-symbolic tracebackEric Botcazou1-35/+33
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès1-3/+3
2021-12-28docs: replace http:// with https://Martin Liska1-2/+2
2021-12-01[Ada] Document System.Atomic_Counters as supported on ARM and AARCH64Piotr Trojanek1-2/+2
2021-07-05[Ada] Regenerate *.texi files with Sphinx 4.0.2Pierre-Marie de Rodat1-603/+1088
2015-12-10Fix warnings from including fdl.texi into gnat-style.texiTom de Vries1-0/+3
2015-02-22Fix warning in 'Loop Statements' in gnat-style.texiTom de Vries1-1/+1
2013-02-21re PR bootstrap/56258 (Please upgrade doc/*.texi to the latest texinfo packag...Jakub Jelinek1-1/+1
2012-08-06[multiple changes]Arnaud Charlet1-7/+10
2012-08-06[multiple changes]Arnaud Charlet1-2/+20
2011-08-02[multiple changes]Arnaud Charlet1-5/+5
2010-06-13gnat_rm.texi: Move to GFDL version 1.3.Gerald Pfeifer1-1/+1
2009-02-20Update Copyright years for files modified in 2008 and/or 2009.Jakub Jelinek1-1/+1
2008-07-30re PR ada/15479 (Ada manual problems)Ralf Wildenhues1-32/+14
2007-06-06xgnatugn.adb: Allow dots to be used in ug_words (-gnatw.c and -gnatw.C)Vincent Celier1-5/+5
2007-04-06gnat_rm.texi, [...]: Add -gnatyl documentation Update 'Exception Handling Con...Robert Dewar1-1/+1
2007-02-26gcc/ChangeLog ---------------------------------------------------------Brooks Moses1-8/+5
2006-10-31debug.adb: Update flags documentationRobert Dewar1-2/+73
2006-06-17gnat-style.texi (@dircategory): Use "Software development" instead of "Progra...Karl Berry1-1/+1
2005-11-15gnat_ugn.texi: Document that -fstack-check is needed for strict compliance wi...Cyrille Comar1-3/+4
2005-09-05s-stoele.ads, [...]: Minor reformatting...Arnaud Charlet1-2/+16
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
2005-04-10adaint.c, [...]: Fix comment typos.Kazu Hirata1-1/+1
2004-09-01[multiple changes]Arnaud Charlet1-1/+19
2004-07-15[multiple changes]Arnaud Charlet1-1/+4
2004-05-10[multiple changes]Arnaud Charlet1-5/+5
2004-04-02Complete previous change.Arnaud Charlet1-3/+1
2004-04-02gnat-style.texi, [...]: Remove RCS tags.Arnaud Charlet1-5/+3
2004-04-01re PR ada/14150 (Ada documentation out of date)Arnaud Charlet1-120/+322
2003-04-241aexcept.adb, [...]: Merge header, formatting and other trivial changes from ...Geert Bosch1-26/+28
2002-03-14Delete all lines containing "$Revision:".Geoffrey Keating1-2/+0
2001-12-23gnat-style.texi (Declarations and Types): Remove ancient style rule which was...Florian Weimer1-7/+2
2001-12-23gnat-style.texi (header): Add @dircategory, @direntry.Florian Weimer1-103/+127
2001-12-13freeze.ads: Update copyright date.Geert Bosch1-3/+3
2001-10-2886numaux.adb, [...]: Fix spelling errors.Joseph Myers1-1/+1
2001-10-11* gnat-style.texi: New file describing coding guidelines for Ada.Geert Bosch1-0/+627
generated by cgit v1.1 at 2024-11-06 02:48:10 +0000