-
Alexandre Duret-Lutz authored
* doc/manual/taf-kit-manual.tex (Writing Rational Expressions): Rename as ... (Writing (Weighted) Rational Expressions): ... this. (Rational operators): Show the result of the are-equivalent example. (Weights): Document left and right weights using text from Jacques Sakarovitch. (Trivial Identities): Write "weighted rational expression" instead of "rational expression" to avoid ambiguities.
8b18c596
To find the state of this project's repository at the time of any of these versions, check out the tags.