Commits

Branch selector

 a24dbf6

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 14, 2024

• Tweak and document Multilingual.

  PatrickMassot

  committed
  a24dbf6

• Factor out new calc and translate to French

  PatrickMassot

  committed
  b658929

• Stronger sinceCalc

  PatrickMassot

  committed
  4f75034

• Allow naming exercises

  Show description for ca9e614
  PatrickMassot

  committed
  ca9e614

Commits on Mar 13, 2024

• Go to definition in declaration lists

  PatrickMassot

  committed
  9ceb74f

• Improve Calc tactic

  PatrickMassot

  committed
  d6d5b5c

Commits on Mar 12, 2024

• SolveByElim perf improvements

  PatrickMassot

  committed
  9cd1644

• Anonymous lemmas fixes

  PatrickMassot

  committed
  1a18dd8

• Fix classification mistake for anonymous lemma

  PatrickMassot

  committed
  e998545

• Bump lean version

  PatrickMassot

  committed
  af4a32e

• Use anonymous lemmas in Since, but too slow

  PatrickMassot

  committed
  6d4c719

Commits on Mar 11, 2024

• Start preparing Since to use anonymous lemmas

  PatrickMassot

  committed
  1d54ca9

• Use extension instead of attributes

  Show description for 5d42a11
  PatrickMassot

  committed
  5d42a11

• Fix broken imports

  PatrickMassot

  committed
  8fc1067

Commits on Mar 8, 2024

• Cleanup imports and fix little non-occuring bug

  PatrickMassot

  committed
  d60aec5

• Cleanup

  PatrickMassot

  committed
  30e011f

Commits on Mar 7, 2024

• Rename maybeAppliedEN for consistency

  PatrickMassot

  committed
  5e039a7

Commits on Mar 6, 2024

• Create infrastructure folder and fix closure bug

  PatrickMassot

  committed
  6f4f1e1

• Fix free identifiers help messages

  PatrickMassot

  committed
  647a6d3

Commits on Mar 1, 2024

• Slow progress

  PatrickMassot

  committed
  aa6fb61

• Tweaks

  PatrickMassot

  committed
  458079e

Commits on Feb 29, 2024

• Finish hooking stuff

  PatrickMassot

  committed
  ee065fb

• More infrastructure

  PatrickMassot

  committed
  80fd2e0

Commits on Feb 28, 2024

• Remove dead file

  PatrickMassot

  committed
  b2742fa

• Refactor widget suggestions gathering code.

  PatrickMassot

  committed
  b783613

Commits on Feb 26, 2024

• Slow refactor progress

  PatrickMassot

  committed
  0e56b22

Commits on Feb 20, 2024

• Use endpoint framework in widget

  PatrickMassot

  committed
  e49589e

Commits on Feb 19, 2024

• Port French help to new framework

  PatrickMassot

  committed
  7d1e628

Commits on Feb 16, 2024

• Start moving French help to new framework

  PatrickMassot

  committed
  cceebdf

• More moving to new framework

  PatrickMassot

  committed
  a3590ba

• Add vscode settings

  PatrickMassot

  committed
  51e6657

• Really move to new infrastructure in English

  PatrickMassot

  committed
  b6d1ec9

• Create environment extension for goal help

  PatrickMassot

  committed
  a740747

Commits on Feb 15, 2024

• Port helpAtGoal to new framework

  PatrickMassot

  committed
  e3a8222

• Convert helpAtHyp to new framework

  PatrickMassot

  committed
  f99b04c

Pagination

PreviousNext