calculation (6jan15)

git-svn-id: svn://tug.org/texlive/trunk@35973 c570f23f-e606-0410-a88d-b1316a301751

2 files changed, 35 insertions, 0 deletions

diff --git a/Master/texmf-dist/doc/latex/calculation/README b/Master/texmf-dist/doc/latex/calculation/README
new file mode 100644
index 00000000000..9198b89096e
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/calculation/README
@@ -0,0 +1,35 @@
+The "calculation" environment formats reasoned calculations, 
+also called calculational proofs.
+   The notion of reasoned calculations or calculational proofs 
+was originally advocated by Wim Feijen and Edsger Dijkstra.  
+The "calculation" package accepts options "fleqn" and "leqno" (with
+the same effect as LaTeX options "fleqn" and "leqno", and inherits
+these from the document class), it allows steps and expressions to be
+numbered (by LaTeX equation numbers, obeying the LaTeX "\label"
+command to refer to these numbers), and a step doesn't take vertical
+space if its hint is empty.  An expression in a calculation can be
+given a comment; it is placed at the side opposite to the equation
+numbers.  Calculations are allowed inside hints although numbering
+and commenting is then disabled.
+
+In its simplest form, the LaTeX source looks like this:
+
+       \begin{calculation}
+           EXPRESSION
+       \step{HINT}
+          EXPRESSION
+       \step{HINT}
+          EXPRESSION
+       \end{calculation}
+
+Each "HINT" is normal text, each "EXPRESSION" is mathematical text.
+Depending on various parameters, the output is more or less like this:
+
+         EXPRESSION
+       =   { HINT }
+         EXPRESSION
+       =   { HINT }
+         EXPRESSION
+
+This material is subject to the LaTeX Project Public License:
+http://www.ctan.org/license/lppl1.3
diff --git a/Master/texmf-dist/doc/latex/calculation/calculation.pdf b/Master/texmf-dist/doc/latex/calculation/calculation.pdf
new file mode 100644
index 00000000000..2617eb8386d
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/calculation/calculation.pdf