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

Add the GitHub pages site #148

Draft
wants to merge 11 commits into
base: main
Choose a base branch
from
Draft

Add the GitHub pages site #148

wants to merge 11 commits into from

Commits on May 13, 2023

  1. Commit this before it gets lost

    @Jacob-Lockwood
    Jacob-Lockwood committed May 13, 2023
    Configuration menu
    Copy the full SHA
    5d8c40b View commit details
    Browse the repository at this point in the history

Commits on May 14, 2023

  1. Merge in changes to commands.md

    @nayakrujul
    nayakrujul committed May 14, 2023
    Configuration menu
    Copy the full SHA
    0ff1aee View commit details
    Browse the repository at this point in the history

Commits on May 15, 2023

  1. Change file structure, styling

    @Jacob-Lockwood
    Jacob-Lockwood committed May 15, 2023
    Configuration menu
    Copy the full SHA
    8016226 View commit details
    Browse the repository at this point in the history

  2. Fix symlink maybe?

    @Jacob-Lockwood
    Jacob-Lockwood committed May 15, 2023
    Configuration menu
    Copy the full SHA
    d156508 View commit details
    Browse the repository at this point in the history

  3. support mathjax in markdown

    @Jacob-Lockwood
    Jacob-Lockwood committed May 15, 2023
    Configuration menu
    Copy the full SHA
    c9decf5 View commit details
    Browse the repository at this point in the history

  4. Layout changes

    @Jacob-Lockwood
    Jacob-Lockwood committed May 15, 2023
    Configuration menu
    Copy the full SHA
    de2bdbc View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. More layout changes

    @Jacob-Lockwood
    Jacob-Lockwood committed May 16, 2023
    Configuration menu
    Copy the full SHA
    0c5c7dc View commit details
    Browse the repository at this point in the history

  2. Add temporary Try-it page linking to ATO

    @Jacob-Lockwood
    Jacob-Lockwood committed May 16, 2023
    Configuration menu
    Copy the full SHA
    02acca1 View commit details
    Browse the repository at this point in the history

  3. Add deployment github action

    @Jacob-Lockwood
    Jacob-Lockwood committed May 16, 2023
    Configuration menu
    Copy the full SHA
    34f674e View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2023

  1. minor changes

    @Jacob-Lockwood
    Jacob-Lockwood committed Jul 2, 2023
    Configuration menu
    Copy the full SHA
    4a7de0e View commit details
    Browse the repository at this point in the history

  2. Add sidebar; support GFM; update navbar

    @Jacob-Lockwood
    Jacob-Lockwood committed Jul 2, 2023
    Configuration menu
    Copy the full SHA
    5cc487a View commit details
    Browse the repository at this point in the history