Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Nov 20, 2012
  1. Merge pull request #10 from sebschub/master

    authored
    Correction of spade suit when converting to type1
Commits on Nov 19, 2012
  1. Small correction of "spade suit" for type1 creation

    Sebastian Schubert authored
Commits on May 31, 2012
Commits on May 28, 2012
Commits on May 27, 2012
  1. Updated copyright notice

    authored
  2. Bumped font version

    authored
Commits on Dec 11, 2011
  1. Merge pull request #9 from sebschub/master

    authored
    Correct the | symbol
Commits on Dec 8, 2011
  1. Correct | to be equal to \vert

    Sebastian Schubert authored
Commits on Nov 6, 2011
Commits on Nov 4, 2011
Commits on Nov 3, 2011
  1. Bumped font version number

    authored
  2. Fixed curves in summation sign

    authored
Commits on Nov 1, 2011
  1. Updated documentation

    authored
Commits on Oct 21, 2011
  1. Updated documentation

    authored
  2. Simplified Python script

    authored
  3. Fixed round less than and sector

    authored
    Closes #8
Commits on Oct 13, 2011
Commits on Oct 3, 2011
  1. Changed dot slightly

    authored
  2. Small changes to Python script

    authored
Commits on Sep 30, 2011
  1. Cleaned up Python script

    authored
Commits on Sep 29, 2011
Commits on Sep 28, 2011
  1. Added whitespace

    authored
  2. Added proof rule at math axis

    authored
  3. Merge pull request #6 from sebschub/master

    authored
    fixed closing of "round less than"
Commits on Sep 27, 2011
  1. fix "round less than"

    Sebastian Schubert authored
Something went wrong with that request. Please try again.