2011-03-29 | Adam Megacz | remove stale import from ExtractionMain | blob | commitdiff |
2011-03-29 | Adam Megacz | lots of cleanup | blob | commitdiff | diff to current |
2011-03-29 | Adam Megacz | reorganize flattening code | blob | commitdiff | diff to current |
2011-03-28 | Adam Megacz | replace UJudg with Arrange | blob | commitdiff | diff to current |
2011-03-27 | Adam Megacz | change name of string-extraction placeholder | blob | commitdiff | diff to current |
2011-03-27 | Adam Megacz | checkpoint | blob | commitdiff | diff to current |
2011-03-27 | Adam Megacz | improve error message | blob | commitdiff | diff to current |
2011-03-26 | Adam Megacz | re-arrange NaturalDeduction | blob | commitdiff | diff to current |
2011-03-25 | Adam Megacz | add Concatenable, LatexMath, and fix HaskProofToLatex | blob | commitdiff | diff to current |
2011-03-25 | Adam Megacz | split Extraction.v so most can be compiled with -dont... | blob | commitdiff | diff to current |