Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update and improve doc #2636

Merged
merged 16 commits into from
Jul 2, 2021
Merged

Update and improve doc #2636

merged 16 commits into from
Jul 2, 2021

Commits on Jun 30, 2021

  1. fix formatting of many operators; remove avoidance clause on block ty… 

    …ping; fix formatting of function arrows
    @crusso
    crusso committed Jun 30, 2021
    Configuration menu
    Copy the full SHA
    76c47b1 View commit details
    Browse the repository at this point in the history

  2. typos

    @crusso
    crusso committed Jun 30, 2021
    Configuration menu
    Copy the full SHA
    95f5b74 View commit details
    Browse the repository at this point in the history

  3. more fixes

    @crusso
    crusso committed Jun 30, 2021
    Configuration menu
    Copy the full SHA
    4f60610 View commit details
    Browse the repository at this point in the history

  4. revert inequality

    @crusso
    crusso committed Jun 30, 2021
    Configuration menu
    Copy the full SHA
    ff6745e View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2021

  1. replace Markddown italics by Asciidoc italics

    @crusso
    crusso committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    b7fd0db View commit details
    Browse the repository at this point in the history

  2. typos

    @crusso
    crusso committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    2a46ec5 View commit details
    Browse the repository at this point in the history

  3. reformat block to avoid scroll bars; addd link to Basis; misc

    @crusso
    crusso committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    6e18662 View commit details
    Browse the repository at this point in the history

  4. add links to base libs to table

    @crusso
    crusso committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    56adba0 View commit details
    Browse the repository at this point in the history

  5. document new command line options; document arg for --error-detial; c… 

    …asing of descriptions
    @crusso
    crusso committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    23ad189 View commit details
    Browse the repository at this point in the history

  6. cruft

    @crusso
    crusso committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    5398b55 View commit details
    Browse the repository at this point in the history

  7. clarify subsumption

    @crusso
    crusso committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    5fd5c67 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into claudio/doc-operators

    @crusso
    crusso authored Jul 1, 2021
    Configuration menu
    Copy the full SHA
    37afe79 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2021

  1. fix Char conversions

    @crusso
    crusso committed Jul 2, 2021
    Configuration menu
    Copy the full SHA
    4e0a2e8 View commit details
    Browse the repository at this point in the history

  2. doc args, undoc internals

    @crusso
    crusso committed Jul 2, 2021
    Configuration menu
    Copy the full SHA
    e44a2f0 View commit details
    Browse the repository at this point in the history

  3. document tool options better (including args), but sacrificing alignment

    @crusso
    crusso committed Jul 2, 2021
    Configuration menu
    Copy the full SHA
    f486c99 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into claudio/doc-operators

    @crusso
    crusso authored Jul 2, 2021
    Configuration menu
    Copy the full SHA
    efcbcd7 View commit details
    Browse the repository at this point in the history