auto update
authorpaulson
Thu Apr 28 17:57:13 2005 +0200 (2005-04-28)
changeset 1587302d9f110ecc1
parent 15872 8336ff711d80
child 15874 6236cc88d4b8
auto update
doc-src/TutorialI/Types/document/Records.tex
     1.1 --- a/doc-src/TutorialI/Types/document/Records.tex	Thu Apr 28 17:56:58 2005 +0200
     1.2 +++ b/doc-src/TutorialI/Types/document/Records.tex	Thu Apr 28 17:57:13 2005 +0200
     1.3 @@ -167,7 +167,7 @@
     1.4    \medskip
     1.5    \begin{tabular}{l}
     1.6    \isa{point}~\isa{{\isacharequal}}~\isa{point} \\
     1.7 -  \isa{{\isacharprime}a\ point{\isacharunderscore}scheme}~\isa{{\isacharequal}}~\isa{{\isacharprime}a\ point{\isacharunderscore}scheme} \\
     1.8 +  \isa{{\isacharprime}a\ point{\isacharunderscore}scheme}~\isa{{\isacharequal}}~\isa{{\isasymlparr}Xcoord\ {\isacharcolon}{\isacharcolon}\ int{\isacharcomma}\ Ycoord\ {\isacharcolon}{\isacharcolon}\ int{\isacharcomma}\ {\isasymdots}\ {\isacharcolon}{\isacharcolon}\ {\isacharprime}a{\isasymrparr}} \\
     1.9    \end{tabular}
    1.10    \medskip
    1.11