Code

Export Juvix source code to latex#2917

Code

Merged

janmasrovira merged 22 commits intomainanoma/juvix:mainfrom latexanoma/juvix:latexCopy head branch name to clipboardAug 5, 2024

+562-22

Commits

Commits on Aug 2, 2024

• latex backend

  janmasrovira

  committed
  7bd4682

  Copy full SHA for 7bd4682

• improve juvix.sty

  janmasrovira

  committed
  08794f4

  Copy full SHA for 08794f4

• escape braces and backslash

  janmasrovira

  committed
  125bf0f

  Copy full SHA for 125bf0f

• add color for modules

  janmasrovira

  committed
  175bb44

  Copy full SHA for 175bb44

• print comments

  janmasrovira

  committed
  dbe983f

  Copy full SHA for dbe983f

• add --no-comments flag

  janmasrovira

  committed
  ff48939

  Copy full SHA for ff48939

• embed jvuxi.sty

  janmasrovira

  committed
  bb7a82a

  Copy full SHA for bb7a82a

• latex command

  janmasrovira

  committed
  1f57067

  Copy full SHA for 1f57067

• refactor and add getJuvixSty

  janmasrovira

  committed
  774ea5b

  Copy full SHA for 774ea5b

• line range

  janmasrovira

  committed
  d78b728

  Copy full SHA for d78b728

• properly handle options

  janmasrovira

  committed
  57aaacb

  Copy full SHA for 57aaacb

• verb and standalone

  janmasrovira

  committed
  ccb4ca4

  Copy full SHA for ccb4ca4

• export mode

  janmasrovira

  committed
  13fc30c

  Copy full SHA for 13fc30c

• simplify imports

  janmasrovira

  committed
  dc17a63

  Copy full SHA for dc17a63

• bold option

  janmasrovira

  committed
  e20f6be

  Copy full SHA for e20f6be

• rename env -> wrap

  janmasrovira

  committed
  9b483cc

  Copy full SHA for 9b483cc

• move juvix.sty from assets to latex/juvix.sty

  janmasrovira

  committed
  ef5639b

  Copy full SHA for ef5639b

• redundant parens

  janmasrovira

  committed
  2610816

  Copy full SHA for 2610816

• define ju-* colors

  janmasrovira

  committed
  c7bc430

  Copy full SHA for c7bc430

• move latex to include

  janmasrovira

  committed
  ed2e00e

  Copy full SHA for ed2e00e

• use __i

  janmasrovira

  committed
  4a15df5

  Copy full SHA for 4a15df5

• end with newline

  janmasrovira

  committed
  0e4c013

  Copy full SHA for 0e4c013