Skip to content
  • Alexandre Duret-Lutz's avatar
    Document left and right weight multiplications. · 8b18c596
    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.