Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on May 16, 2014
  1. Bundle updates

    authored
    Mostly for the security vulnerability in Nokogiri
Commits on Apr 30, 2014
Commits on Apr 29, 2014
  1. Update infrastructure

    authored
  2. Bundle updates

    authored
  3. Fix failing specs

    authored
  4. Some additional LaTeX escaping. Fixes #38

    authored
    We really need a better way of not running the contents of LaTeX tags
    through Markdown, but this fixes the worst offender.
  5. Misc fixes

    authored
    * Loading and display of nested formulae
    * Links on the homepage
    * Restore text parsing of formulae for search
  6. JSONify formulae

    authored
  7. Hide link to proof explorer

    authored
    since it is not currently working
  8. Fix more egregious style problems

    authored
    Also, add a 'proof of topology' field on spaces
  9. Allow users to edit descriptions

    authored
    even in read-only mode
  10. Read-only mode

    authored
    And a few other cleanups to be ready to push to early-stage production
  11. Move indexing task to Rake

    authored
  12. Working search

    authored
    with async indexing
  13. Fix specs

    authored
    ... mostly. The trait specs are failing when run en masse but not one at
    a time. Presumably some subtlety with threading and transactions and
    database cleaning.
  14. Working sucker_punch deduction

    authored
    ... mostly. Still need to rework the assumption tracing logic.
  15. Organize Gemfile

    authored
Commits on Mar 11, 2014
  1. Bump travis' ruby version

    authored
  2. Replace TS -> ES

    authored
  3. Tweak deploy settings

    authored
  4. Remove TS indices

    authored
  5. Set secret key for devise

    authored
  6. Add exceptiontrap

    authored
  7. Mandrill mailings

    authored
  8. Deploy to Heroku

    authored
Commits on Mar 10, 2014
  1. Fix jquery

    authored
    Need it before bootstrap. Put a CDN on it!
  2. Update bootstrap

    authored
  3. Quiet assets

    authored
  4. Runnable specs

    authored
  5. Update versions

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