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

Peter's edits #11

Merged
merged 60 commits into from
Jun 15, 2022
Merged

Peter's edits #11

merged 60 commits into from
Jun 15, 2022

Commits on Jan 8, 2021

  1. Edits Chapters 1-3

    @flach
    flach committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    814ab1f View commit details
    Browse the repository at this point in the history

  2. Finished polishing Chs.1-3

    @flach
    flach committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    7f8716b View commit details
    Browse the repository at this point in the history

  3. Polished Chs.4-6

    @flach
    flach committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    d556603 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2021

  1. More SWISH boxes Part II

    @flach
    flach committed Jan 9, 2021
    Configuration menu
    Copy the full SHA
    7efda6b View commit details
    Browse the repository at this point in the history

  2. Polished Ch.7

    @flach
    flach committed Jan 9, 2021
    Configuration menu
    Copy the full SHA
    e0d7aee View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2021

  1. Polished Ch.8

    @flach
    flach committed Jan 10, 2021
    Configuration menu
    Copy the full SHA
    f8b8f2a View commit details
    Browse the repository at this point in the history

  2. First Ch.9 edits

    @flach
    flach committed Jan 10, 2021
    Configuration menu
    Copy the full SHA
    a7c1f2a View commit details
    Browse the repository at this point in the history

  3. Polished code fragments and exercises

    @flach
    flach committed Jan 10, 2021
    Configuration menu
    Copy the full SHA
    3e80d50 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2021

  1. Merge branch 'dissection' into pf-release

    @So-Cool
    So-Cool committed Jan 11, 2021
    Configuration menu
    Copy the full SHA
    a47c6ae View commit details
    Browse the repository at this point in the history

  2. Feature integration

    @So-Cool
    So-Cool committed Jan 11, 2021
    Configuration menu
    Copy the full SHA
    53262ce View commit details
    Browse the repository at this point in the history

  3. Manual part numbering

    @So-Cool
    So-Cool committed Jan 11, 2021
    Configuration menu
    Copy the full SHA
    37346db View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2021

  1. merge: dissection > pf-release -- file-based SWISH boxes

    @So-Cool
    So-Cool committed Feb 10, 2021
    Configuration menu
    Copy the full SHA
    0601af1 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2021

  1. Merge: dissection > pf-release -- deploy script fix

    @So-Cool
    So-Cool committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    d461f8b View commit details
    Browse the repository at this point in the history

  2. Testing file-based SWISH boxes (sections 9.2 and 9.3)

    @So-Cool
    So-Cool committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    51f3c6d View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2021

  1. Merge branch 'dissection' into pf-release

    @So-Cool
    So-Cool committed Feb 14, 2021
    Configuration menu
    Copy the full SHA
    840ad15 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2021

  1. Merge branch 'dissection' into pf-release

    @So-Cool
    So-Cool committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    5771918 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2021

  1. Fixed some TODOs

    @flach
    flach committed Feb 26, 2021
    Configuration menu
    Copy the full SHA
    a63f093 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2021

  1. Merge branch 'dissection' into pf-release

    @So-Cool
    So-Cool committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    938fdf1 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2021

  1. Merge branch 'dissection' into pf-release

    @So-Cool
    So-Cool committed Mar 27, 2021
    Configuration menu
    Copy the full SHA
    dd6a240 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2021

  1. Attribution-NonCommercial-NoDerivs CC BY-NC-ND

    @So-Cool
    So-Cool committed Jul 24, 2021
    Configuration menu
    Copy the full SHA
    4f6e2cb View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2021

  1. Checked answers to exercises.

    @flach
    flach committed Nov 13, 2021
    Configuration menu
    Copy the full SHA
    dd1fb61 View commit details
    Browse the repository at this point in the history

  2. Added preface and first version of glossary.

    @flach
    flach committed Nov 13, 2021
    Configuration menu
    Copy the full SHA
    9a6dad8 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2021

  1. jupyter-book==0.10.1

    @flach
    flach committed Nov 14, 2021
    Configuration menu
    Copy the full SHA
    a583e0c View commit details
    Browse the repository at this point in the history

  2. Fix empty lines

    @flach
    flach committed Nov 14, 2021
    Configuration menu
    Copy the full SHA
    84de9cf View commit details
    Browse the repository at this point in the history

  3. Added unification TO DO entry

    @flach
    flach committed Nov 14, 2021
    Configuration menu
    Copy the full SHA
    8804a42 View commit details
    Browse the repository at this point in the history

  4. Fixed broken links

    @flach
    flach committed Nov 14, 2021
    Configuration menu
    Copy the full SHA
    b2fcb28 View commit details
    Browse the repository at this point in the history

  5. Update build-and-deploy.yml

    @flach
    flach committed Nov 14, 2021
    Configuration menu
    Copy the full SHA
    d032620 View commit details
    Browse the repository at this point in the history

  6. Undo change to build-and-deploy.yml

    @flach
    flach committed Nov 14, 2021
    Configuration menu
    Copy the full SHA
    3d140f2 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2021

  1. Final check of text and programs.

    @flach
    flach committed Nov 21, 2021
    Configuration menu
    Copy the full SHA
    ea8a3aa View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2021

  1. Graphviz rendering

    @flach
    flach committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    7287fe4 View commit details
    Browse the repository at this point in the history

  2. Deploy too

    @So-Cool
    So-Cool committed Dec 13, 2021
    Configuration menu
    Copy the full SHA
    1ed2970 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2021

  1. Short glossary intro

    @flach
    flach committed Dec 14, 2021
    Configuration menu
    Copy the full SHA
    60b124a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'pf-release' of https://github.com/simply-logical/simply… 

    …-logical into pf-release
    @flach
    flach committed Dec 14, 2021
    Configuration menu
    Copy the full SHA
    764ae85 View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2021

  1. transform.pl

    @flach
    flach committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    06d6849 View commit details
    Browse the repository at this point in the history

  2. Update b_1.md

    @flach
    flach committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    4bc5cd2 View commit details
    Browse the repository at this point in the history

  3. transform.pl

    @flach
    flach committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    30105f1 View commit details
    Browse the repository at this point in the history

  4. Update transform.pl

    @flach
    flach committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    bda5d2e View commit details
    Browse the repository at this point in the history

  5. complete.pl

    @flach
    flach committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    15ba43a View commit details
    Browse the repository at this point in the history

  6. Appendix code boxes again

    @flach
    flach committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    cc418f2 View commit details
    Browse the repository at this point in the history

  7. Update complete.pl

    @flach
    flach committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    90f3efd View commit details
    Browse the repository at this point in the history

  8. Update 9.2.md

    @flach
    flach committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    5fa57d1 View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2022

  1. RLGG SWISH box

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    7721f67 View commit details
    Browse the repository at this point in the history

  2. Update rlgg.pl

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    4f072ba View commit details
    Browse the repository at this point in the history

  3. induce_rlgg SWISH box

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    98d6792 View commit details
    Browse the repository at this point in the history

  4. Update 9.2.md

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    e6d38b7 View commit details
    Browse the repository at this point in the history

  5. induce_rlgg SWISH box

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    65103c3 View commit details
    Browse the repository at this point in the history

  6. Update glossary.md

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    5359427 View commit details
    Browse the repository at this point in the history

  7. induce_spec SWISH box

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    e04a95c View commit details
    Browse the repository at this point in the history

  8. Remove obsolete section92.pl

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    efc987e View commit details
    Browse the repository at this point in the history

  9. induce_spec SWISH box

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    7af7fce View commit details
    Browse the repository at this point in the history

  10. Update induce_spec-end.pl

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    89305a5 View commit details
    Browse the repository at this point in the history

  11. Update 9.3.md

    @flach
    flach committed Jan 2, 2022
    Configuration menu
    Copy the full SHA
    ca7fa0b View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2022

  1. Typo

    @flach
    flach committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    2e10568 View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2022

  1. Generate and test

    @flach
    flach committed Jan 6, 2022
    Configuration menu
    Copy the full SHA
    c6c9bd6 View commit details
    Browse the repository at this point in the history

  2. Typo

    @flach
    flach committed Jan 6, 2022
    Configuration menu
    Copy the full SHA
    93463dd View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2022

  1. Relational logic example

    @flach
    flach committed Jan 11, 2022
    Configuration menu
    Copy the full SHA
    55c706f View commit details
    Browse the repository at this point in the history

  2. Relational logic example

    @flach
    flach committed Jan 11, 2022
    Configuration menu
    Copy the full SHA
    1d538a6 View commit details
    Browse the repository at this point in the history

  3. Propositional logic example

    @flach
    flach committed Jan 11, 2022
    Configuration menu
    Copy the full SHA
    117fcc0 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2022

  1. Whitespaces

    @So-Cool
    So-Cool committed Jun 15, 2022
    Configuration menu
    Copy the full SHA
    a14eb14 View commit details
    Browse the repository at this point in the history

  2. Release v2.0 prep

    @So-Cool
    So-Cool committed Jun 15, 2022
    Configuration menu
    Copy the full SHA
    331869a View commit details
    Browse the repository at this point in the history