This is the mail archive of the gcc-cvs@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

r145903 - in /trunk/gcc/ada: ChangeLog einfo.ad...

From: charlet at gcc dot gnu dot org
To: gcc-cvs at gcc dot gnu dot org
Date: Fri, 10 Apr 2009 13:44:27 -0000
Subject: r145903 - in /trunk/gcc/ada: ChangeLog einfo.ad...

Author: charlet
Date: Fri Apr 10 13:44:18 2009
New Revision: 145903

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=145903
Log:
2009-04-10  Robert Dewar  <dewar@adacore.com>

	* einfo.ads, einfo.adb (Postcondition_Proc): New attribute for
	procedures.

	* sem_ch6.adb: Minor code clean up.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/einfo.adb
    trunk/gcc/ada/einfo.ads
    trunk/gcc/ada/sem_ch6.adb

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]