2014-02-25  Robert Dewar  <dewar@adacore.com>

	* gnat_rm.texi: Update "Standard Library Routines" chapter to
	include all 2012 packages.
	Add section on pragma Reviewable.
	* sem_ch5.adb (Diagnose_Non_Variable_Lhs): Avoid wrong msgs if
	expander off.
	* exp_ch9.ads, exp_dist.adb, exp_dist.ads: Minor reformatting.
	* sem_ch6.adb (Assert_False): New function
	(Check_Statement_Sequence): Call Assert_False to check for
	pragma Assert (False) which is considered OK block of control
	for function.
	* snames.ads-tmpl (Name_False): New entry.

2014-02-25  Doug Rupp  <rupp@adacore.com>

	* init.c (VxWorks Section): Enable sigtramp for ARM.
	* sigtramp-armvxw.c: New file.

From-SVN: r208142