Switch branches/tags
Nothing to show
Commits on Feb 15, 2012
  1. better for for managing cli args

    committed Feb 15, 2012
Commits on Feb 10, 2012
  1. Fix documentation

    committed Feb 10, 2012
Commits on Feb 11, 2011
Commits on Jan 26, 2011
Commits on Jan 19, 2011
  1. Change from if statement to for statement so that it would consitent …

    …with the other login form. This also fixed the display of the error message by itself rather in the list format surounded by [].
    Hong Quach committed Jan 19, 2011
  2. Undo indentation and additional HTML tags back to the original versio…

    …n, and also removed the <ul> tags in the original version..
    Hong Quach committed Jan 19, 2011
  3. Undo indentation and additional HTML tags back to the original versio…

    …n, except for the added form action.
    Hong Quach committed Jan 19, 2011
  4. Rewrite attemp to overload __init__() to accept additional fields if …

    Hong Quach committed Jan 19, 2011
Commits on Jan 18, 2011
  1. Removed outdate files. Implemented 'Confirm password' field in signup…

    … form with password validation. Added error message and added code to validate signup form. Fixed minors layout format of error message in login.html. Updated User model to initialize with all users values and update SetUser to create new session variables to hold user's new attributes.
    Hong Quach committed Jan 18, 2011
Commits on Jan 17, 2011
  1. give the forms their own submodule outside of webapp, fix the naming …

    …issues in
    committed Jan 17, 2011
Commits on Sep 14, 2010
Commits on Sep 13, 2010
Commits on Aug 18, 2010
Commits on Aug 17, 2010
  1. fix url gen for theorems

    committed Aug 17, 2010
  2. make docs clearer

    committed Aug 17, 2010
  3. made README slightly more readable

    in sidebar.html added a link to add a class
    harke committed Aug 17, 2010
  4. fixes for Flask-Markdown update

    committed Aug 17, 2010
Commits on Aug 16, 2010
  1. final stuff before submission

    committed Aug 16, 2010
Commits on Aug 11, 2010
  1. Changed more tactics so they monotonically add hypotheses as a proof …

    Got a clean build.
    Marked up a bunch of "Todo" items in files.
    Made [Case] tactic closer to Hein's Proof by Cases.
    Still in rough shape.
    harke committed Aug 11, 2010
Commits on Aug 10, 2010
  1. Fixed a bug with Modus Tollens where the tactic use to do an in-place…

    … substitution of a new result for an old result.
    Now both results are kept, with the new result appended to the bottom of the list of hypotheses.
    Also changed names of tactics to be much more verbose / explicit.  The short-hand variants remain.
    Added tests of error messages for Modus Ponens and Modus Tollens, and populated with as many different mis-uses that I could imagine ... beware, there may be ones I haven't imagined.
    harke committed Aug 10, 2010
Commits on Aug 9, 2010
  1. more updates in docs

    committed Aug 9, 2010
  2. attepts at getting debs built

    committed Aug 9, 2010
Commits on Aug 8, 2010
  1. fixes for parser

    committed Aug 8, 2010