--- ai05s/ai05-0267-1.txt 2011/12/22 07:22:07 1.4 +++ ai05s/ai05-0267-1.txt 2012/01/05 06:19:33 1.5 @@ -16,7 +16,9 @@ !subject Improvements for aspect specifications !summary -** TBD. +Allow aspect_specifications on stubs and all bodies. Language-defined +aspects are allowed only on stubs that do not have separate specifications; +they are never allowed on bodies. !proposal