Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 21, 2020

• Forgot to close list tag.

  Achaemenid

  committed
  68df1cb

  Copy full SHA for 68df1cb

• updating mathbox

  Show description for c1d06e8
  Achaemenid

  committed
  c1d06e8

  Copy full SHA for c1d06e8

Commits on Aug 12, 2020

• add bibliographic entry

  benjub

  committed
  1cbfc36

  Copy full SHA for 1cbfc36

Commits on Aug 2, 2020

• Additional material for Goldbach's conjecture

  Show description for 6c3896f
  avekens

  committed
  6c3896f

  Copy full SHA for 6c3896f

Commits on Jul 17, 2020

• Merge remote-tracking branch 'origin/develop' into sctfen

  sctfn

  committed
  214674e

  Copy full SHA for 214674e

Commits on Jul 16, 2020

• mmset.raw.html - fix validation error; elaborate ax-7,8,9

  nmegill

  committed
  0307aab

  Copy full SHA for 0307aab

Commits on Jun 22, 2020

• Merge remote-tracking branch 'origin/develop' into sctfen

  sctfn

  committed
  7cd8260

  Copy full SHA for 7cd8260

Commits on Jun 12, 2020

• Logarithm

  Show description for fd03ac1
  avekens

  committed
  fd03ac1

  Copy full SHA for fd03ac1

Commits on May 19, 2020

• Merge remote-tracking branch 'origin/develop' into sctfen

  sctfn

  committed
  2015feb

  Copy full SHA for 2015feb

Commits on May 18, 2020

• add Concrete Mathematics

  sctfn

  committed
  417ce85

  Copy full SHA for 417ce85

Commits on May 12, 2020

• Merge pull request metamath#1651 from avekens/develop

  Show description for d6be909
  nmegill

  authored
  d6be909

  Copy full SHA for d6be909

• label fragment pfx for prefix

  Show description for 7eefe7d
  avekens

  committed
  7eefe7d

  Copy full SHA for 7eefe7d

Commits on May 5, 2020

• Update URL for Gource visualization

  Show description for 69bcf67
  david-a-wheeler

  committed
  69bcf67

  Copy full SHA for 69bcf67

Commits on Apr 18, 2020

• Extend comments on Tarski geometry axioms

  Show description for fc08f91
  david-a-wheeler

  committed
  fc08f91

  Copy full SHA for fc08f91

Commits on Apr 11, 2020

• Merge pull request metamath#1580 from metamath/sqrt2irr-rename-remnants

  Show description for d57c942
  nmegill

  authored
  d57c942

  Copy full SHA for d57c942

• Merge pull request metamath#1579 from avekens/develop

  Show description for 78a888d
  nmegill

  authored
  78a888d

  Copy full SHA for 78a888d

Commits on Apr 10, 2020

• Fix missing renames from sqr into sqrt, fixes metamath#1578

  Show description for 69268b1
  david-a-wheeler

  committed
  69268b1

  Copy full SHA for 69268b1

• Categories: isomorphic, initial, terminal, zero objects

  Show description for ffb409d
  avekens

  committed
  ffb409d

  Copy full SHA for ffb409d

Commits on Apr 5, 2020

• proof of e being transcendental

  glacode

  committed
  387a849

  Copy full SHA for 387a849

Commits on Feb 24, 2020

• mmset.raw.html - minor edit

  nmegill

  committed
  841adec

  Copy full SHA for 841adec

Commits on Jan 23, 2020

• Merge branch 'develop' of https://github.com/metamath/set.mm into develop

  avekens

  committed
  8796ab6

  Copy full SHA for 8796ab6

• Magmas and Rings

  Show description for 09300e4
  avekens

  committed
  09300e4

  Copy full SHA for 09300e4

Commits on Jan 20, 2020

• Merge pull request metamath#1428 from avekens/develop

  Show description for 864a532
  nmegill

  authored
  864a532

  Copy full SHA for 864a532

• Graph theory; basic algebraic structures

  Show description for 17f42c1
  avekens

  committed
  17f42c1

  Copy full SHA for 17f42c1

Commits on Jan 19, 2020

• Mass rename of 'sqr' to 'sqrt' everywhere

  Show description for 84a8a6a
  david-a-wheeler

  committed
  84a8a6a

  Copy full SHA for 84a8a6a

Commits on Jan 8, 2020

• Subsection "Closed walks" (2. part) moved

  Show description for 12a91f7
  avekens

  committed
  12a91f7

  Copy full SHA for 12a91f7

Commits on Dec 10, 2019

• Merge pull request metamath#1308 from avekens/develop

  Show description for 2b8babb
  nmegill

  authored
  2b8babb

  Copy full SHA for 2b8babb

• further minor corrections

  avekens

  committed
  a925daf

  Copy full SHA for a925daf

• Minor corrections

  avekens

  committed
  7579b06

  Copy full SHA for 7579b06

• Def. diagonal/scalar matrices; Revision of section "The Cayley-Hamilton theorem"

  Show description for d8a92f8
  avekens

  committed
  d8a92f8

  Copy full SHA for d8a92f8

Commits on Nov 27, 2019

• Merge pull request metamath#1276 from avekens/develop

  Show description for da84a00
  nmegill

  authored
  da84a00

  Copy full SHA for da84a00

• Improvements around the Cayley-Hamilton theorem

  Show description for 5fde450
  avekens

  committed
  5fde450

  Copy full SHA for 5fde450

Commits on Nov 3, 2019

• mmset.raw.html: Remove Ghilbert link

  Show description for 2e3e9a1
  david-a-wheeler

  committed
  2e3e9a1

  Copy full SHA for 2e3e9a1

Commits on Nov 2, 2019

• mmset.raw.html: Add link to Gource visualization

  Show description for 8e73c6e
  david-a-wheeler

  committed
  8e73c6e

  Copy full SHA for 8e73c6e

Commits on Oct 23, 2019

• mmset.raw.html: typos and some rewrapping to avoid long lines

  benjub

  committed
  bd8d142

  Copy full SHA for bd8d142

Pagination

Previous

Next