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

Misc. cleanups #158

Closed
wants to merge 12 commits into from
Closed

Misc. cleanups #158

wants to merge 12 commits into from

Commits on Jun 3, 2024

  1. feat: initial working vscode web extension

    @jamesdabbs
    jamesdabbs committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    0eed4ae View commit details
    Browse the repository at this point in the history

  2. chore: update sveltekit and vite 

    This fixes the underlying issue that required a `skipLibCheck` in the first place.
    @jamesdabbs
    jamesdabbs committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    594be10 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2024

  1. refactor: fold shared logic back in to core package

    @jamesdabbs
    jamesdabbs committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    ba49e7f View commit details
    Browse the repository at this point in the history

  2. fix: correct link in markdown hover preview

    @jamesdabbs
    jamesdabbs committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    113e67d View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. fix: hover markdown links in codespaces

    @jamesdabbs
    jamesdabbs committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    53b3c7c View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. docs: brain dump next steps

    @jamesdabbs
    jamesdabbs committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    8f196b3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into jcd/vscode

    @jamesdabbs
    jamesdabbs authored Jun 7, 2024
    Configuration menu
    Copy the full SHA
    ee22e68 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. chore: fix build-time warnings

    @jamesdabbs
    jamesdabbs committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    52bd0c2 View commit details
    Browse the repository at this point in the history

  2. refactor: push Ref logic down to core

    @jamesdabbs
    jamesdabbs committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    10b9c8f View commit details
    Browse the repository at this point in the history

  3. chore: clean up imports

    @jamesdabbs
    jamesdabbs committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    a7b4a82 View commit details
    Browse the repository at this point in the history

  4. refactor: simplify citation rendering 

    defining it as a function means we can simplify the reactivity
    @jamesdabbs
    jamesdabbs committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    0104bc1 View commit details
    Browse the repository at this point in the history

  5. refactor: push SerializedTheorem down to core

    @jamesdabbs
    jamesdabbs committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    526ea9d View commit details
    Browse the repository at this point in the history