Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on May 5, 2016

• printparse tweaks

  sorear

  committedMay 5, 2016
  08e3431

• script to generate axiom definitions for metamath.lac

  sorear

  committedMay 5, 2016
  28316e1

• commit some really old docs

  sorear

  committedMay 5, 2016
  fa38226

Commits on Jul 7, 2015

• rewrite the exploder using the smm outline parser

  sorear

  committedJul 7, 2015
  5273958

Commits on Jul 5, 2015

• statementByLabel utility

  sorear

  committedJul 5, 2015
  41ccfdf

• Tree access for outline

  sorear

  committedJul 5, 2015
  738c0f5

Commits on Jul 4, 2015

• expose base/count

  sorear

  committedJul 4, 2015
  7051cd7

• tweaks to outline generation. codify the _top convention

  sorear

  committedJul 4, 2015
  614c59b

• some more features for the outliner

  sorear

  committedJul 4, 2015
  36d901d

• fix prologue eating newlines

  sorear

  committedJul 4, 2015
  1f494cc

• Outline analyzer

  sorear

  committedJul 4, 2015
  74a781a

Commits on Jul 3, 2015

• make assertionParseTree a statement accessor

  sorear

  committedJul 3, 2015
  a3256ff

• assertionCount

  sorear

  committedJul 3, 2015
  ede57b9

• isAssertion

  sorear

  committedJul 3, 2015
  197158d

• add parsingRule API

  sorear

  committedJul 3, 2015
  97ac3c4

• Check errors in syntactic category definition

  sorear

  committedJul 3, 2015
  c997939

• Drive parser definition off of metadata

  sorear

  committedJul 3, 2015
  ed3c7c4

• support array-type parameters

  sorear

  committedJul 3, 2015
  bfc09f7

• allow all valid label chars to be used in metadata keywords

  sorear

  committedJul 3, 2015
  f46df10

• add a utility for easily stringifying error maps

  sorear

  committedJul 3, 2015
  4bd086e

• Merge pull request #1 from marnix/master

  sorear

  committedJul 3, 2015
  efff588

Commits on Jul 2, 2015

• Rename 'smetamath' to 'smm' in github references.

  marnix

  committedJul 2, 2015
  5a60c47

Commits on Jun 30, 2015

• add prev/next statement API

  sorear

  committedJun 30, 2015
  bd044c6

• add a top-level module for people to import

  sorear

  committedJun 30, 2015
  0fb476f

• kebab case module names, seems more common

  sorear

  committedJun 30, 2015
  59fd8b1

• Eliminate for-of

  sorear

  committedJun 30, 2015
  3bf4805

Commits on Jun 23, 2015

• fix need to check errors on Metadata before use

  sorear

  committedJun 23, 2015
  fde4c38

• web demo

  sorear

  committedJun 23, 2015
  2d6b4d6

• Include reference to open scope brace in const-not-top-scope

  sorear

  committedJun 23, 2015
  7843589

Commits on Jun 22, 2015

• this version is called 0.2.0

  sorear

  committedJun 22, 2015
  acc23a6

• strip_proofs demo

  sorear

  committedJun 22, 2015
  7a8ab0a

• add replaceMathString / replaceProofString

  sorear

  committedJun 22, 2015
  f2c278b

• add some talk of text-level readers to API

  sorear

  committedJun 22, 2015
  f12173c

• store locations for separating keywords, add mathText / proofText

  sorear

  committedJun 22, 2015
  85e403a

• No longer need to reparse to get raw text for statements

  sorear

  committedJun 22, 2015
  697869f

Pagination

PreviousNext