Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 23, 2024

• Some fix and bug pinning

  PatrickMassot

  committed
  5a1a751

Commits on Jul 22, 2024

• Try rewrite in concludeTac

  PatrickMassot

  committed
  fdec626

Commits on Jul 19, 2024

• Bump Lean version

  PatrickMassot

  committed
  2ca20b1

Commits on Jul 17, 2024

• Generalize maybeApplied syntax

  Show description for dd9bf4b
  PatrickMassot

  committed
  dd9bf4b

Commits on Jun 25, 2024

• Bump Lean version to 4.8.0-rc1

  PatrickMassot

  committed
  f71c47a

Commits on Apr 25, 2024

• Fix missing bound variable renaming in help

  Show description for 7efc519
  PatrickMassot

  committed
  7efc519

Commits on Mar 20, 2024

• Add basic configuration doc.

  PatrickMassot

  committed
  c4d5941

Commits on Mar 19, 2024

• Update file hierarchy description

  PatrickMassot

  committed
  d56ba3c

• More error messages translations

  PatrickMassot

  committed
  ccfb0d3

• Fix translations

  PatrickMassot

  committed
  bd684a4

Commits on Mar 18, 2024

• More translations

  PatrickMassot

  committed
  64ae5ac

• More consistent syntax

  PatrickMassot

  committed
  cdbb426

• Rename MyExpr

  PatrickMassot

  committed
  cc47907

• English grammar fix.

  PatrickMassot

  committed
  39b78ff

• Various cleanups

  PatrickMassot

  committed
  2752410

Commits on Mar 16, 2024

• Add help for contrapose and byContra

  Show description for b5f1ed8
  PatrickMassot

  committed
  b5f1ed8

• Flag a FIXME

  PatrickMassot

  committed
  ffe3dc4

• Option allowing to prove negations by contradiction

  PatrickMassot

  committed
  4146165

• Configure help and suggestions

  PatrickMassot

  committed
  2926bb3

• Some cleanup

  PatrickMassot

  committed
  d798226

• Improve data providers interface

  PatrickMassot

  committed
  1aacd19

• Use data providers lists

  PatrickMassot

  committed
  89edad3

• Finish basic configuration of data providers

  PatrickMassot

  committed
  85495e4

Commits on Mar 15, 2024

• Work on data providers

  PatrickMassot

  committed
  e12ad54

• Also rename splitting lemmas in VerboseConfiguration

  PatrickMassot

  committed
  7420a59

• Move general utilities and rename split lemmas.

  PatrickMassot

  committed
  783286c

• Fix lang setting to new extension in French help

  PatrickMassot

  committed
  ec273c2

• Better doc for multilingual.

  PatrickMassot

  committed
  104e223

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

Pagination

PreviousNext