Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 29, 2024

• readme: Update link to Alectryon blog post

  cpitclaudel

  committed
  5a35676

Commits on Sep 14, 2024

• lean4: Propagate the lakefile (#98)

  Show description for ea34497
  gaetanserre

  authored
  ea34497

Commits on Jul 30, 2024

• readme: Highlight recipe headers consistently

  cpitclaudel

  committed
  2a54423

Commits on Jul 28, 2024

• recipes: Remove .version-info

  cpitclaudel

  committed
  22c0b59

• recipes: Update test broken by switch to Coq 8.18

  cpitclaudel

  committed
  90e2080

Commits on Mar 3, 2024

• changes: Update list of supported dependencies

  cpitclaudel

  committed
  41a1399

• core: Capture stderr in CLIDriver even if capture_output is False

  Show description for 55340d4
  cpitclaudel

  committed
  55340d4

• build: Record recipes version info in deps/requirements.txt

  cpitclaudel

  committed
  06b7308

• build: Rewrite Makefile to use a virtual environment

  cpitclaudel

  committed
  002837e

• build: Document a conservative set of minimal requirements

  cpitclaudel

  committed
  27763b5

• recipes: Upgrade to Coq 8.18.0, Docutils 0.19, Sphinx 6.1.3

  cpitclaudel

  committed
  39535f4

• pygments: Allow identparts in symbols

  Show description for 45814f5
  cpitclaudel

  committed
  45814f5

• recipes: Align format used in _output/.version-info with pip

  cpitclaudel

  committed
  3b47a58

• cli: Clarify docstring of --long-line-threshold and allow 0 to disable

  Show description for e317465
  cpitclaudel

  committed
  e317465

Commits on May 7, 2023

• readme: Add Proofster to gallery

  cpitclaudel

  committed
  11e8cdc

• readme: Update gallery

  cpitclaudel

  committed
  fa18a75

Commits on Oct 11, 2022

• ; literate: Add a few type annotations

  cpitclaudel

  committed
  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

Commits on Jun 12, 2022

• lean4, pygments: Pacify pylint

  cpitclaudel

  committed
  739b46d

• transforms: Add missing coalesce_test in lean3 pipeline

  cpitclaudel

  committed
  e1dae31

• recipes: Remove obsolete test

  cpitclaudel

  committed
  6bd618d

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

  cpitclaudel

  committed
  ff1bfe4

• recipes: Ensure compatibility with Sphinx 4

  cpitclaudel

  committed
  4d25bc6

• assets: Ensure compatibility with Docutils 1.17

  cpitclaudel

  committed
  578a1db

• changes: Mention compatibility fixes

  cpitclaudel

  committed
  975205d

• minimal: Register lean4 in ALL_LANGUAGES

  cpitclaudel

  committed
  13b4287

• pygments: Ensure compatibility with Pygments 2.12

  cpitclaudel

  committed
  40ff2af

• tests: Ensure compatibility with Python 3.10

  cpitclaudel

  committed
  c6db43a

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

  cpitclaudel

  committed
  652b912

• changes: Mention Lean 4 support

  cpitclaudel

  committed
  d4e645e

• all: Pacify pylint and mypy

  cpitclaudel

  committed
  576b8db

• readme: Minor tweaks

  cpitclaudel

  committed
  7a3dd67

• literate: Adjust Lean 3 literate opening token

  

  insightmind

  authored and

  cpitclaudel

  committed
  032166f

• readme: Apply review comments

  

  insightmind

  authored and

  cpitclaudel

  committed
  5c01921

• cli: Remove .lean inferred extension for Lean 3

  

  insightmind

  authored and

  cpitclaudel

  committed
  35d044c

Pagination

PreviousNext