From a1290c5145c4a3afa2e18da6f2473569c0538f64 Mon Sep 17 00:00:00 2001
From: Henrik Tidefelt <henrikt@wolfram.com>
Date: Sun, 7 Jun 2020 23:15:30 +0200
Subject: [PATCH] Use \firstuse instead of \textbf when introducing base clock
 partition types

---
 chapters/synchronous.tex | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
index 8e877843e..fa3786529 100644
--- a/chapters/synchronous.tex
+++ b/chapters/synchronous.tex
@@ -969,9 +969,7 @@ \subsection{Base-clock Partitioning}\doublelabel{base-clock-partitioning}
 \textless{}E\textsubscript{i}, V\textsubscript{i}\textgreater{},
 according to base-clocks and continuous-time partitions.
 
-The base clock partitions are identified as \textbf{clocked} or as
-\textbf{continuous-time partitions} according to the following
-properties:
+The base clock partitions are identified as \firstuse{clocked} or as \firstuse{continuous-time partitions} according to the following properties:
 
 A variable u in \lstinline!sample(u)!, a variable y in y =
 \lstinline!hold(ud)!, and a variable b in \lstinline!Clock(b, startInterval)! where b is of \lstinline!Boolean! type is in a continuous-time partition.