Commits

Branch selector

 develop

User selector

All users

All time

Commit History

Commits on Nov 29, 2025

• Update all metamath-lamp-docs URLs in CHANGELOG.md to point to the "dev" version (to always see the latest version of the document).

  

  expln

  committed
  01dc40b

  Copy full SHA for 01dc40b

Commits on Nov 16, 2025

• Add "Version 31" to CHANGELOG.md.

  

  expln

  committed
  265c227

  Copy full SHA for 265c227

Commits on Oct 19, 2025

• Merge pull request #251 from expln/mark-axioms-with-red-underline-in-ref-column

  Show description for b932b57
  expln

  authored
  b932b57

  Copy full SHA for b932b57

• Code review.

  

  expln

  committed
  c50fec3

  Copy full SHA for c50fec3

• Remove the sequential number from the Ref column in proofs. Instead, mark axioms with a red underline.

  

  expln

  committed
  36730d6

  Copy full SHA for 36730d6

Commits on Oct 18, 2025

• Merge pull request #250 from expln/add-ord-num-to-labels-in-ref-column

  Show description for cc059e1
  expln

  authored
  cc059e1

  Copy full SHA for cc059e1

• Add a sequential number to Ref column in proofs.

  

  expln

  committed
  aa11b78

  Copy full SHA for aa11b78

Commits on Oct 14, 2025

• Update CHANGELOG.md.

  

  expln

  committed
  974a8ad

  Copy full SHA for 974a8ad

• Merge pull request #249 from expln/add-referenced_by-filter-to-explorer

  Show description for 7b60421
  expln

  authored
  7b60421

  Copy full SHA for 7b60421

• Add ~title:string param to openExplorer().

  

  expln

  committed
  a5e475d

  Copy full SHA for a5e475d

Commits on Oct 13, 2025

• Show number of axioms a theorem was proved from instead of the list of labels in MM_cmp_pe_frame_full.

  

  expln

  committed
  abc88e5

  Copy full SHA for abc88e5

• Add "Proved from axioms" to MM_cmp_pe_frame_full.

  

  expln

  committed
  314b0ce

  Copy full SHA for 314b0ce

• Use MM_context.getLabelsDependingOn() in MM_cmp_pe_index.

  

  expln

  committed
  d49f691

  Copy full SHA for d49f691

• Implement MM_context.getLabelsDependingOn().

  

  expln

  committed
  c666760

  Copy full SHA for c666760

• Move MM_cmp_pe_index.getReferencedBy() to MM_context.getLabelsReferencedBy().

  

  expln

  committed
  b95ed27

  Copy full SHA for b95ed27

Commits on Oct 12, 2025

• Add "Referenced by" filter to the explorer.

  

  expln

  committed
  f6a96ae

  Copy full SHA for f6a96ae

Commits on Oct 5, 2025

• Update CHANGELOG.md.

  

  expln

  committed
  b539cae

  Copy full SHA for b539cae

• Merge pull request #248 from expln/245-extra-spaces-around-description-when-opening-proof-in-editor

  Show description for 952f462
  expln

  authored
  952f462

  Copy full SHA for 952f462

Commits on Oct 4, 2025

• 245 Update MM_cmp_editor.actCancelEditDescr() to preserve original white spaces on edit cancel.

  

  expln

  committed
  af90660

  Copy full SHA for af90660

• 245 Add tests.

  

  expln

  committed
  2cd9a44

  Copy full SHA for 2cd9a44

• 245 Add tests.

  

  expln

  committed
  645d2c3

  Copy full SHA for 645d2c3

• 245 Make another fix.

  

  expln

  committed
  2f96d5b

  Copy full SHA for 2f96d5b

• 245 Revert unnecessary changes.

  

  expln

  committed
  99df257

  Copy full SHA for 99df257

• 245 Fix "Extra spaces around description when opening proof in editor".

  

  expln

  committed
  68ae0ac

  Copy full SHA for 68ae0ac

Commits on Oct 2, 2025

• Update CHANGELOG.md.

  

  expln

  committed
  e6f362f

  Copy full SHA for e6f362f

• Merge pull request #247 from expln/237-add-s-flag

  Show description for aa05cbb
  expln

  authored
  aa05cbb

  Copy full SHA for aa05cbb

Commits on Sep 30, 2025

• 237 Write tests.

  

  expln

  committed
  3073d09

  Copy full SHA for 3073d09

• 237 Write tests.

  

  expln

  committed
  3d37194

  Copy full SHA for 3d37194

• 237 Write tests.

  

  expln

  committed
  86cc54f

  Copy full SHA for 86cc54f

• 237 fix a bug in exprIncludesVarSeqWithTarget().

  

  expln

  committed
  145f850

  Copy full SHA for 145f850

• 237 Write tests.

  

  expln

  committed
  6c8db2f

  Copy full SHA for 6c8db2f

• 237 Write tests.

  

  expln

  committed
  78f1432

  Copy full SHA for 78f1432

• 237 Write tests.

  

  expln

  committed
  82d355b

  Copy full SHA for 82d355b

• 237 Write tests.

  

  expln

  committed
  01f1884

  Copy full SHA for 01f1884

• 237 Write tests.

  

  expln

  committed
  4e010c0

  Copy full SHA for 4e010c0

Pagination

Previous

Next