sources unless specified otherwise by the user.
@item
-look for the corresponding .ali file in the @code{obj_dir} defined
+look for the corresponding @samp{.ali} file in the @code{obj_dir} defined
in the project file. If this file can not be found, emacs proposes to
compile the source using the @code{comp_cmd} defined in the project file
in order to create the ali file.
@item
-when cross referencing is requested, the .ali file is parsed to
+when cross referencing is requested, the @samp{.ali} file is parsed to
determine the file and line of the identifier definition. It is
-possible for the .ali file to be older than the source file, in which
-case it will be recompiled if the variable @code{ada-xref-create-ali} is
-set, otherwise the reference is searched in the obsolete ali file with
-possible inaccurate results.
+possible for the @samp{.ali} file to be older than the source file,
+in which case it will be recompiled if the variable
+@code{ada-xref-create-ali} is set, otherwise the reference is searched
+in the obsolete ali file with possible inaccurate results.
@item
look for the file containing the declaration using the source
also be respected.
The second method is specific to Ada buffer, and even to users of the
-Gnat compiler. Emacs will search the cross-information found in the .ali
-files generated by Gnat for possible completions.
+Gnat compiler. Emacs will search the cross-information found in the
+@samp{.ali} files generated by Gnat for possible completions.
The main advantage is that this completion is more accurate: only
existing identifier will be suggested, you don't need to have a file
environment, and if yes for which target. The default command used for
compilation will add this @code{cross_prefix} in front of the name:
@code{gcc} will become @code{cross_prefix}-@code{gcc}, @code{gnatmake}
-will become @code{cross_prefix}-@code{gnatmake}, ...
+will become @code{cross_prefix}-@code{gnatmake}, @enddots{}
This will also modify the way your application is run and debugged,
although this is not implemented at the moment.