PDF: s/ccTermLimit/ccMaxTermLength (#227)

- leftover names after commit #b862cfd

src/Ledger/PParams.lagda

@@ -62,7 +62,7 @@ record PParams : Set where
         collateralPercent  : ℕ
 \end{code}
 \emph{Governance group}
-\AgdaTarget{drepThresholds, poolThresholds, ccMinSize, ccTermLimit, govActionLifetime, govActionDeposit, drepDeposit, drepActivity, minimumAVS}
+\AgdaTarget{drepThresholds, poolThresholds, ccMinSize, ccMaxTermLength, govActionLifetime, govActionDeposit, drepDeposit, drepActivity, minimumAVS}
 \begin{code}
         drepThresholds     : DrepThresholds
         poolThresholds     : PoolThresholds
@@ -110,7 +110,7 @@ These new parameters are declared in Figure~\ref{fig:protocol-parameter-declarat
   named \Pone, \Ptwoa, \Ptwob, \Pthree, \Pfour, \Pfivea, \Pfiveb, \Pfivec, \Pfived, and \Psix;
   \item \poolThresholds: pool-related governance thresholds; these are rational numbers named \Qone, \Qtwoa, \Qtwob, and \Qfour;
   \item \ccMinSize: minimum constitutional committee size;
-  \item \ccTermLimit: maximum term limit (in epochs) of constitutional committee members;
+  \item \ccMaxTermLength: maximum term limit (in epochs) of constitutional committee members;
   \item \govActionLifetime: governance action expiration;
   \item \govActionDeposit: governance action deposit;
   \item \drepDeposit: \DRep deposit amount;

src/latex/agda-latex-macros.sty

@@ -163,7 +163,7 @@
 \newcommand{\CCData}{\AgdaFunction{CCData}\xspace}
 \newcommand{\ccHotKeys}{\AgdaField{ccHotKeys}\xspace}
 \newcommand{\ccPrime}{\AgdaFunction{cc'}\xspace}
-\newcommand{\ccTermLimit}{\AgdaField{ccTermLimit}\xspace}
+\newcommand{\ccMaxTermLength}{\AgdaField{ccMaxTermLength}\xspace}
 \newcommand{\ccThreshold}{\AgdaFunction{ccThreshold}\xspace}
 \newcommand{\ccThresholdPrime}{\AgdaBound{ccThreshold'}\xspace}
 \newcommand{\ChangePParams}{\AgdaInductiveConstructor{ChangePParams}\xspace}