Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 11, 2021

• update maven URL to jar files fixes #71

  davidcarlisle

  committed
  ae8faf6

  Copy full SHA for ae8faf6

Commits on Aug 3, 2019

• [ci final]

  kohlhase

  committed
  57625e2

  Copy full SHA for 57625e2

• howto make a new standard revision available.

  kohlhase

  committed
  fded39b

  Copy full SHA for fded39b

• Merge branch 'master' of github.com:OpenMath/OMSTD

  kohlhase

  committed
  1cfed11

  Copy full SHA for 1cfed11

• [ci final] this is revision 2. really.

  kohlhase

  committed
  3f32046

  Copy full SHA for 3f32046

Commits on Jul 20, 2019

• [ci final] target date for final drafts

  davidcarlisle

  committed
  4f7d97d

  Copy full SHA for 4f7d97d

• [ci final] target date for final drafts

  davidcarlisle

  committed
  5d7923d

  Copy full SHA for 5d7923d

• [ci final]

  kohlhase

  committed
  100fa3e

  Copy full SHA for 100fa3e

• Merge branch 'master' of github.com:OpenMath/OMSTD

  kohlhase

  committed
  79cdb65

  Copy full SHA for 79cdb65

• [ci final]

  kohlhase

  committed
  d009958

  Copy full SHA for d009958

Commits on Jul 13, 2019

• Merge pull request #69 from KWARC/master

  Show description for 29b957e
  kohlhase

  authored
  29b957e

  Copy full SHA for 29b957e

• fixing references

  kohlhase

  committed
  c41931d

  Copy full SHA for c41931d

Commits on Jul 12, 2019

• manual merge and removal of attribute-less <phrase> elements

  kohlhase

  committed
  41e0c8c

  Copy full SHA for 41e0c8c

• fixing XML

  kohlhase

  committed
  946f29b

  Copy full SHA for 946f29b

• Merge branch 'master' into definition-markup

  kohlhase

  authored
  85e34eb

  Copy full SHA for 85e34eb

• Merge branch 'master' of github.com:OpenMath/OMSTD

  kohlhase

  committed
  72de29d

  Copy full SHA for 72de29d

• Merge pull request #70 from lars-hellstrom/patch-1

  Show description for 4df3d25
  kohlhase

  authored
  4df3d25

  Copy full SHA for 4df3d25

Commits on Jul 10, 2019

• Update omstd20.xml

  Show description for 99ed909
  lars-hellstrom

  authored
  99ed909

  Copy full SHA for 99ed909

Commits on Jul 9, 2019

• typo

  kohlhase

  committed
  716adfc

  Copy full SHA for 716adfc

Commits on Jul 8, 2019

• more tweaks

  kohlhase

  committed
  fe8a72e

  Copy full SHA for fe8a72e

• fixing OM2.0r3

  kohlhase

  committed
  9c68c05

  Copy full SHA for 9c68c05

• tweaking revision flags

  kohlhase

  committed
  2d6f23f

  Copy full SHA for 2d6f23f

• splitting appendix H into changes 1.1-2.0 and "revisions to 2.0".

  kohlhase

  committed
  1bf0d69

  Copy full SHA for 1bf0d69

• fixing bibliography schema validity problems

  kohlhase

  committed
  41395e0

  Copy full SHA for 41395e0

• getting rid of the finaledit annotations

  kohlhase

  committed
  4ffbe43

  Copy full SHA for 4ffbe43

• adding tom Wiesing's name

  kohlhase

  committed
  a4b6ae3

  Copy full SHA for a4b6ae3

• more ignorance (for Mac)

  kohlhase

  committed
  7cf0030

  Copy full SHA for 7cf0030

Commits on Jul 6, 2019

• Update install-jars script (#68)

  Show description for a592362
  

  tkw1536

  authored and

  davidcarlisle

  committed
  a592362

  Copy full SHA for a592362

• more percent fixes

  davidcarlisle

  committed
  ea2c4dd

  Copy full SHA for ea2c4dd

• use standard catcode for percent in tables of contents (latex 2019 change)

  davidcarlisle

  committed
  685297c

  Copy full SHA for 685297c

Commits on Jul 5, 2019

• OMJSON: Describe changes and make more references.

  tkw1536

  committed
  2faf111

  Copy full SHA for 2faf111

• Iterate on the OpenMath JSON changes

  tkw1536

  committed
  fda8693

  Copy full SHA for fda8693

• OMJSON: Add changes based on current revision

  tkw1536

  committed
  3696bed

  Copy full SHA for 3696bed

Commits on Jul 4, 2019

• Add OMJSON first (rough) draft

  tkw1536

  committed
  d34c30a

  Copy full SHA for d34c30a

Commits on Jun 27, 2018

• end object tag instead of end application

  kohlhase

  committed
  de0aea4

  Copy full SHA for de0aea4