Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 6, 2024

• removed the variable hbody from gen_hyp (to check)

  Casteran

  committed
  754bf32

  Copy full SHA for 754bf32

• Made a few changes in gen_hyp (LatexGenerator) in alectryon/latex.py

  Show description for 62fc6ee
  Casteran

  committed
  62fc6ee

  Copy full SHA for 62fc6ee

Commits on May 7, 2023

• readme: Add Proofster to gallery

  cpitclaudel

  committed
  11e8cdc

  Copy full SHA for 11e8cdc

• readme: Update gallery

  cpitclaudel

  committed
  fa18a75

  Copy full SHA for fa18a75

Commits on Oct 11, 2022

• ; literate: Add a few type annotations

  cpitclaudel

  committed
  c4aa73c

  Copy full SHA for c4aa73c

Commits on Sep 25, 2022

• elisp: Don't assume that flyspell is loaded when starting alectryon-mode

  Show description for 8a1f305
  cpitclaudel

  committed
  8a1f305

  Copy full SHA for 8a1f305

Commits on Jun 12, 2022

• lean4, pygments: Pacify pylint

  cpitclaudel

  committed
  739b46d

  Copy full SHA for 739b46d

• transforms: Add missing `coalesce_test` in lean3 pipeline

  cpitclaudel

  committed
  e1dae31

  Copy full SHA for e1dae31

• recipes: Remove obsolete test

  cpitclaudel

  committed
  6bd618d

  Copy full SHA for 6bd618d

• recipes: Adjust Lean 3 recipes now that Lean 4 is the default

  cpitclaudel

  committed
  ff1bfe4

  Copy full SHA for ff1bfe4

• recipes: Ensure compatibility with Sphinx 4

  cpitclaudel

  committed
  4d25bc6

  Copy full SHA for 4d25bc6

• assets: Ensure compatibility with Docutils 1.17

  cpitclaudel

  committed
  578a1db

  Copy full SHA for 578a1db

• changes: Mention compatibility fixes

  cpitclaudel

  committed
  975205d

  Copy full SHA for 975205d

• minimal: Register `lean4` in `ALL_LANGUAGES`

  cpitclaudel

  committed
  13b4287

  Copy full SHA for 13b4287

• pygments: Ensure compatibility with Pygments 2.12

  cpitclaudel

  committed
  40ff2af

  Copy full SHA for 40ff2af

• tests: Ensure compatibility with Python 3.10

  cpitclaudel

  committed
  c6db43a

  Copy full SHA for c6db43a

• recipes: Upgrade to Coq 8.15, docutils 1.17, Sphinx 4.5

  cpitclaudel

  committed
  652b912

  Copy full SHA for 652b912

• changes: Mention Lean 4 support

  cpitclaudel

  committed
  d4e645e

  Copy full SHA for d4e645e

• all: Pacify pylint and mypy

  cpitclaudel

  committed
  576b8db

  Copy full SHA for 576b8db

• readme: Minor tweaks

  cpitclaudel

  committed
  7a3dd67

  Copy full SHA for 7a3dd67

• literate: Adjust Lean 3 literate opening token

  

  insightmind

  authored and

  cpitclaudel

  committed
  032166f

  Copy full SHA for 032166f

• readme: Apply review comments

  

  insightmind

  authored and

  cpitclaudel

  committed
  5c01921

  Copy full SHA for 5c01921

• cli: Remove .lean inferred extension for Lean 3

  

  insightmind

  authored and

  cpitclaudel

  committed
  35d044c

  Copy full SHA for 35d044c

• literate: Adjust Lean 4 opening token

  Show description for 53f7248
  

  insightmind

  authored and

  cpitclaudel

  committed
  53f7248

  Copy full SHA for 53f7248

• recipes: Use Lean 4 in polyglot.rst

  

  insightmind

  authored and

  cpitclaudel

  committed
  57fabe5

  Copy full SHA for 57fabe5

• lean4: Add transforms for nested tactics support

  

  insightmind

  authored and

  cpitclaudel

  committed
  8f68de2

  Copy full SHA for 8f68de2

• docutils: Remove language examples from module docstring

  

  insightmind

  authored and

  cpitclaudel

  committed
  0556561

  Copy full SHA for 0556561

• readme: Move lean 4 chapter above lean 3 chapter

  

  insightmind

  authored and

  cpitclaudel

  committed
  fa21b9b

  Copy full SHA for fa21b9b

• lean4: Fix linter warnings

  

  insightmind

  authored and

  cpitclaudel

  committed
  02552c0

  Copy full SHA for 02552c0

• recipes: Add Lean4 examples

  

  insightmind

  authored and

  cpitclaudel

  committed
  a5918d2

  Copy full SHA for a5918d2

• literate: Change lean4 close tag from |-/ to -/

  

  insightmind

  authored and

  cpitclaudel

  committed
  d0c57e3

  Copy full SHA for d0c57e3

• lean4: Work around missing \n in last chunk

  

  insightmind

  authored and

  cpitclaudel

  committed
  17489e1

  Copy full SHA for 17489e1

• lean4: Apply review comments

  

  insightmind

  authored and

  cpitclaudel

  committed
  6ce97cd

  Copy full SHA for 6ce97cd

• lean4: Fix recover_chunks failing due to missing \n

  

  insightmind

  authored and

  cpitclaudel

  committed
  83bc346

  Copy full SHA for 83bc346

• lean4: Remove outdated TODO comments

  

  insightmind

  authored and

  cpitclaudel

  committed
  b427d02

  Copy full SHA for b427d02

Pagination

Previous

Next