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.

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

draft: a practical example #32

Open
wants to merge 10 commits into
base: main
Choose a base branch
from

Commits on Sep 7, 2023

  1. add the description

    aleeusgr committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    27294db View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. simplify

    aleeusgr committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    fc7eeb1 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. add Table of Contents

    aleeusgr committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    1472c8e View commit details
    Browse the repository at this point in the history
  2. add item

    aleeusgr committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    3403bf2 View commit details
    Browse the repository at this point in the history
  3. add TOC link

    aleeusgr committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    f732356 View commit details
    Browse the repository at this point in the history
  4. add breaks

    aleeusgr committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    b38505b View commit details
    Browse the repository at this point in the history
  5. add template

    aleeusgr committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    5d0845d View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2023

  1. expose contract in the name

    aleeusgr committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    53b44c2 View commit details
    Browse the repository at this point in the history
  2. draft product overview

    aleeusgr committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    bd5bcb3 View commit details
    Browse the repository at this point in the history
  3. fix TOE and context

    aleeusgr committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    95d07fa View commit details
    Browse the repository at this point in the history