diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/ada_user/ada_user.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/ada_user/ada_user.texi b/doc/ada_user/ada_user.texi index d12663d81f..80a0e49c11 100644 --- a/doc/ada_user/ada_user.texi +++ b/doc/ada_user/ada_user.texi @@ -8,7 +8,7 @@ @c %**end of header @c -@c COPYRIGHT (c) 1989-2013. +@c COPYRIGHT (c) 1989-2014. @c On-Line Applications Research Corporation (OAR). @c All rights reserved. @@ -107,6 +107,7 @@ * User Extensions Manager:: * Configuring a System:: * Multiprocessing Manager:: +* Symmetric Multiprocessing Services:: * Stack Bounds Checker:: * CPU Usage Statistics:: * Object Services:: @@ -150,6 +151,7 @@ @include user/userext.texi @include user/conf.texi @include user/mp.texi +@include user/smp.texi @include user/stackchk.texi @include user/cpuuse.texi @include user/object.texi |