commit 4cc8407c36cdebc9bc0de297b627f9b1b304cb7a parent 8812bb57aaa17675e451fea287348dd40e689cc0 Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz> Date: Mon, 5 Feb 2024 18:49:33 -0500 Move first paragraph of formal chapter to main file. Diffstat:
| M | doc/r7rs-small/formal-syntax.texinfo | | | 3 | --- |
| M | doc/r7rs-small/r7rs-small.texinfo | | | 3 | +++ |
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/r7rs-small/formal-syntax.texinfo b/doc/r7rs-small/formal-syntax.texinfo @@ -1,9 +1,6 @@ @node Formal syntax @section Formal syntax -This chapter provides formal descriptions of what has already been described informally -in previous chapters of this report. - @menu * Lexical structure:: * External representations formal:: diff --git a/doc/r7rs-small/r7rs-small.texinfo b/doc/r7rs-small/r7rs-small.texinfo @@ -320,6 +320,9 @@ it means that the locations in the object are fresh. @node Formal syntax and semantics @chapter Formal syntax and semantics +This chapter provides formal descriptions of what has already been +described informally in previous chapters of this report. + @menu * Formal syntax:: * Formal semantics::