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

Early LaTeX support #432

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

Early LaTeX support #432

wants to merge 16 commits into from

Commits on Jun 13, 2023

  1. basic new latex type

    zazedd committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    1eb862b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    48dd592 View commit details
    Browse the repository at this point in the history
  3. LaTeX lexer

    ProgramingIsTheFuture committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    4994a0c View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    d73f29d View commit details
    Browse the repository at this point in the history
  5. \end{ocaml}

    ProgramingIsTheFuture committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    6df3d76 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    4e00c6a View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    ae79aaf View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. Configuration menu
    Copy the full SHA
    cc5d885 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. Configuration menu
    Copy the full SHA
    01d4b6e View commit details
    Browse the repository at this point in the history
  2. compilation error fix

    Francisco Santos committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    7cba5cc View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    4dcca29 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2023

  1. improving lexer_tex

    Francisco Santos committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    430e257 View commit details
    Browse the repository at this point in the history
  2. some tests

    zazedd committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    bb2a598 View commit details
    Browse the repository at this point in the history
  3. end block

    Francisco Santos committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    22ae950 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    5570ff9 View commit details
    Browse the repository at this point in the history
  5. unit tests

    zazedd committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    d6bcc9b View commit details
    Browse the repository at this point in the history