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

feat: Make the prelude available in description page #393

Merged
merged 4 commits into from Sep 29, 2021
Merged

feat: Make the prelude available in description page #393

merged 4 commits into from Sep 29, 2021

Commits on Sep 20, 2021

  1. Make the prelude available in description page

    @erikmd
    Yoan Mollet authored and erikmd committed Sep 20, 2021
    Copy the full SHA
    271c033 View commit details
    Browse the repository at this point in the history

  2. fix(description.html): Load learnocaml_tryocaml.css & Comment-out unn… 

    …eeded file
    @erikmd
    erikmd committed Sep 20, 2021
    Copy the full SHA
    9970b4a View commit details
    Browse the repository at this point in the history

  3. fix(description): Initially show the Prelude

    @erikmd
    erikmd committed Sep 20, 2021
    Copy the full SHA
    a58898d View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2021

  1. fix(description): Simplify/Fix HTML+CSS+Js_of_ocaml for the prelude

    @erikmd
    erikmd committed Sep 21, 2021
    Copy the full SHA
    dc30a09 View commit details
    Browse the repository at this point in the history