fix: the date cannot be in the future.

fky2015 · fky2015 · commit a79c0935f7ca · 2023-04-29T17:16:26.000+08:00
diff --git a/bithesis.dtx b/bithesis.dtx
@@ -1226,7 +1226,7 @@
 %   
 % \end{function}
 %
-% \begin{function}[added=2023-05-01]{misc/hideLinks}
+% \begin{function}[added=2023-04-29]{misc/hideLinks}
 %  \begin{bitsyntax}[emph={[1]hideLinks}]
 %    hideLinks = (*(true)|false*)
 %  \end{bitsyntax}

Original file line number	Diff line number	Diff line change
`@@ -1226,7 +1226,7 @@`
`1226`	`1226`	`%`
`1227`	`1227`	`% \end{function}`
`1228`	`1228`	`%`
`1229`		`-% \begin{function}[added=2023-05-01]{misc/hideLinks}`
	`1229`	`+% \begin{function}[added=2023-04-29]{misc/hideLinks}`
`1230`	`1230`	`% \begin{bitsyntax}[emph={[1]hideLinks}]`
`1231`	`1231`	`% hideLinks = ((true)\|false)`
`1232`	`1232`	`% \end{bitsyntax}`