| Age | Commit message (Expand) | Author |
|---|
| 2012-07-05 | Fixed bug in not detecting duplicate nodes in the graph | Jed Barber |
| 2012-06-18 | Graph generator rewritten to use fgl graphs | Jed Barber |
| 2012-06-17 | Switched to fgl graph implementation | Jed Barber |
| 2012-06-14 | Changed numbers to be handled specially since they're only used by def/ref/re... | Jed Barber |
| 2012-06-14 | Removed ID: marking from graph display | Jed Barber |
| 2012-06-14 | Changed doGraphGen function to return only the graph | Jed Barber |
| 2012-06-14 | Fixed bug with remove/ref | Jed Barber |
| 2012-06-14 | Added Show instance for the graph | Jed Barber |
| 2012-06-13 | Changed pop to be handled specially | Jed Barber |
| 2012-06-07 | Inconsequential change | Jed Barber |
| 2012-06-07 | Code to generate a dependency graph of commands in a proof trace | Jed Barber |
| 2012-06-04 | Separated output by function being tested | Jed Barber |
| 2012-06-04 | Cleaned up how the state of the virtual machine is handled | Jed Barber |
| 2012-05-31 | Fixed type variable substitution | Jed Barber |
| 2012-05-31 | Tests for substitute | Jed Barber |
| 2012-05-29 | Changed failure checking to monadic notation | Jed Barber |
| 2012-05-29 | Tests for number, assume, axiom, alphaEquiv | Jed Barber |
| 2012-05-29 | Changed Command-test.hs to Test.hs | Jed Barber |
| 2012-05-29 | Moved Stack datatype to separate file | Jed Barber |
| 2012-05-29 | All potential errors now caught into Nothings | Jed Barber |
| 2012-05-22 | First few test cases | Jed Barber |
| 2012-05-22 | Split the Object wrapping from the actual computation in the article commands | Jed Barber |
| 2012-05-15 | Fixed alphaEquiv, again | Jed Barber |
| 2012-05-15 | Added guards for command functions | Jed Barber |
| 2012-05-15 | Fixed bugs in alphaEquiv, substitute | Jed Barber |
| 2012-05-15 | Fixed bug in mkEqualsType | Jed Barber |
| 2012-05-15 | Fixed a number of compilation errors | Jed Barber |
| 2012-05-15 | Added a standard reference for a bool type | Jed Barber |
| 2012-05-15 | Added functions to find type variables in terms and types | Jed Barber |
| 2012-05-15 | Changed substitute/rename to use sets instead of lists | Jed Barber |
| 2012-05-14 | Moved a number of article format parsing functions to a separate file | Jed Barber |
| 2012-05-14 | Started using Data.Char for number testing | Jed Barber |
| 2012-05-14 | Added the removal of escape character backslashes from name processing | Jed Barber |
| 2012-05-11 | Incorporated use of Data.Set and Data.Map | Jed Barber |
| 2012-05-11 | isNumber and isName slightly more readable | Jed Barber |
| 2012-05-11 | Moved datatype declarations and associated functions to separate files | Jed Barber |
| 2012-05-10 | Fixed datatype used for substitutions | Jed Barber |
| 2012-05-10 | Improved display of types and type operators | Jed Barber |
| 2012-05-10 | Improved display of = terms | Jed Barber |
| 2012-05-10 | typeOf definition fixed | Jed Barber |
| 2012-05-08 | Names processed properly | Jed Barber |
| 2012-05-08 | Alpha equivalence function fixed to account for lambda depth | Jed Barber |
| 2012-05-08 | Informative output for Stack, Dictionary, Assumptions, Theorems | Jed Barber |
| 2012-05-07 | Initial source | Jed Barber |
| 2012-04-24 | first commit | Jed Barber |
