From 3e94d51fd3f2b4c5c8ba4a1123ca2cc5f9e040f3 Mon Sep 17 00:00:00 2001
From: Henrik Tidefelt <henrikt@wolfram.com>
Date: Sun, 7 Jun 2020 23:20:23 +0200
Subject: [PATCH] Replace \textbf by \firstuse when terms are introduced in
 tables

---
 chapters/synchronous.tex | 27 +++++++++++----------------
 1 file changed, 11 insertions(+), 16 deletions(-)

diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
index b1f538f45..a7bc3e07d 100644
--- a/chapters/synchronous.tex
+++ b/chapters/synchronous.tex
@@ -190,6 +190,8 @@ \subsection{Clocks and Clocked Variables}\doublelabel{clocks-and-clocked-variabl
 expressions/variables are defined that are associated to clocks and are
 therefore called \firstuse{clocked discrete-time} expressions:
 % henrikt-ma: Misusing \tablehead inside the table below to act as some sort of table title.
+% Similarly, while this table is actually a list of definitions, the styling of the terms being described
+% should probably use something else than \firstuse, perhaps more like a 'description' environment.
 % This is all different than how things are done elsewhere, but fixing this is considered a topic for issue #2562.
 \begin{longtable}[]{|p{7.3cm}|p{7.3cm}|}
 \hline
@@ -197,9 +199,8 @@ \subsection{Clocks and Clocked Variables}\doublelabel{clocks-and-clocked-variabl
 \endhead
 \begin{tabular}{p{7cm}}
 \includegraphics[width=3in,height=1.875in]{piecewise}
-\end{tabular}&\begin{tabular}{p{7cm}}\textbf{Piecewise-constant variables (see \autoref{discrete-time-expressions})}
-
-Variables \lstinline!m(t)! of base type \lstinline!Real!, \lstinline!Integer!, \lstinline!Boolean!,
+\end{tabular}&\begin{tabular}{p{7cm}}\firstuse{Piecewise-constant variables}\\
+(See \autoref{discrete-time-expressions}.)  Variables \lstinline!m(t)! of base type \lstinline!Real!, \lstinline!Integer!, \lstinline!Boolean!,
 enumeration, and \lstinline!String! that are \emph{constant} inside each interval
 t\textsubscript{i} $\le$ t \textless{} t\textsubscript{i+1} (= piecewise
 constant continuous-time variables). In other words, \lstinline!m(t)!
@@ -210,8 +211,7 @@ \subsection{Clocks and Clocked Variables}\doublelabel{clocks-and-clocked-variabl
 \begin{tabular}{p{7cm}}
 \includegraphics[width=3in,height=1.875in]{clock}
 \end{tabular}&
-\begin{tabular}{p{7cm}}\textbf{Clock variables}
-
+\begin{tabular}{p{7cm}}\firstuse{Clock variables}\\
 Clock variables \lstinline[mathescape=true]!c($t_{i}$)! are of base type \lstinline!Clock!. A
 clock is either defined by a constructor (such as \lstinline!Clock(3)!)
 that defines when the clock ticks (is active) at a particular time
@@ -229,7 +229,7 @@ \subsection{Clocks and Clocked Variables}\doublelabel{clocks-and-clocked-variabl
 \begin{tabular}{p{7cm}}
 \includegraphics[width=3in,height=1.875in]{clocked}
 \end{tabular}&
-\begin{tabular}{p{7cm}}\textbf{Clocked variables}
+\begin{tabular}{p{7cm}}\firstuse{Clocked variables}\\
 The elements of clocked variables \lstinline[mathescape=true]!r($t_{i}$)! are of
 base type \lstinline!Real!, \lstinline!Integer!, \lstinline!Boolean!, enumeration, \lstinline!String! that are
 associated uniquely with a clock \lstinline[mathescape=true]!c($t_{i}$)!. A
@@ -350,8 +350,7 @@ \section{Clock Constructors}\doublelabel{clock-constructors}
 \lstinline!Clock()!
 &
 \begin{tabular}{@{}p{119mm}@{}}
-\textbf{Inferred Clock}\\
-
+\firstuse{Inferred Clock}\\
 The operator returns a clock that is inferred.
 \par
 \begin{example*}
@@ -377,8 +376,7 @@ \section{Clock Constructors}\doublelabel{clock-constructors}
 \end{tabular}
 &
 \begin{tabular}{@{}p{119mm}@{}}
-\textbf{Clock with Rational Interval}\\
-
+\firstuse{Clock with Rational Interval}\\
 The first input argument, \lstinline!intervalCounter!, is a clocked Component
 Expression (see \autoref{argument-restrictions-component-expression}) or a parameter expression of type
 \lstinline!Integer! with \lstinline!min=0!. The optional second argument \lstinline!resolution!
@@ -428,8 +426,7 @@ \section{Clock Constructors}\doublelabel{clock-constructors}
 \lstinline!Clock(interval)!
 &
 \begin{tabular}{@{}p{119mm}@{}}
-\textbf{Clock with Real Interval}\\
-
+\firstuse{Clock with Real Interval}\\
 The input argument, \lstinline!interval!, is a clocked Component Expression (see
 \autoref{argument-restrictions-component-expression}) or a parameter expression.
 The \lstinline!interval! must be strictly positive (\lstinline!interval>0.0!) of type \lstinline!Real! with \lstinline!unit="s"!.
@@ -457,8 +454,7 @@ \section{Clock Constructors}\doublelabel{clock-constructors}
 \end{tabular}
 &
 \begin{tabular}{@{}p{119mm}@{}}
-\textbf{Event Clock}\\
-
+\firstuse{Event Clock}\\
 The input argument, \lstinline!condition!, is a continuous-time expression of type
 Boolean. The optional \lstinline!startInterval! argument (default = 0.0) is the
 value returned by \lstinline!interval()! at the first tick of
@@ -488,8 +484,7 @@ \section{Clock Constructors}\doublelabel{clock-constructors}
 \end{tabular}
 &
 \begin{tabular}{@{}p{119mm}@{}}
-\textbf{Solver Clock}\\
-
+\firstuse{Solver Clock}\\
 The first input argument \lstinline!c! is a clock and the operator returns this
 clock. The returned clock is associated with the second input argument
 of type String \lstinline!solverMethod!. The meaning of solverMethod is defined