Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichael Jastram2017-02-13 04:51:55 -0500
committerMichael Jastram2017-02-13 04:51:55 -0500
commit4f5639add12cd4afe40e4c1bfb4f46d22b033d33 (patch)
tree753bc9f7af88246290c8e9e86b489896b5107be0
parent86f1aded1b3983e278708e500dd280b38d32bc3b (diff)
downloadorg.eclipse.rmf.documentation-4f5639add12cd4afe40e4c1bfb4f46d22b033d33.tar.gz
org.eclipse.rmf.documentation-4f5639add12cd4afe40e4c1bfb4f46d22b033d33.tar.xz
org.eclipse.rmf.documentation-4f5639add12cd4afe40e4c1bfb4f46d22b033d33.zip
Typo Docu
-rw-r--r--org.eclipse.rmf.documentation/rmf-latex/tutorial.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.rmf.documentation/rmf-latex/tutorial.tex b/org.eclipse.rmf.documentation/rmf-latex/tutorial.tex
index c1934e6..66790cc 100644
--- a/org.eclipse.rmf.documentation/rmf-latex/tutorial.tex
+++ b/org.eclipse.rmf.documentation/rmf-latex/tutorial.tex
@@ -252,8 +252,8 @@ In this tutorial we will introduce \term{Presentations}. Presentations are Ecli
% -----------------------------------------------------------------------------------
\subsection{ID Presentation}
\label{sec:id-presentation}
-\index{create!IDs}
-\index{ID creation}
+\index{create!id}
+\index{id!creation}
% -----------------------------------------------------------------------------------
It would be nice if every SpecObject had its own unique ID. Actually, they do: The unique ID is shown in the \menu{All Attributes} tab of the \menu{Property View}, if a SpecObject is selected. But that ID is meant for machines and is not practical.

Back to the top