Skip to content
Commits on Jul 5, 2013
  1. For some reason we need to insert a space.

    Jesse Alama committed Jul 5, 2013
    (The XML output from tptp4X doesn't seem quite right...)
  2. Insert a newline.

    Jesse Alama committed Jul 5, 2013
  3. Wrong select.

    Jesse Alama committed Jul 5, 2013
  4. Need to look after.

    Jesse Alama committed Jul 5, 2013
  5. Use the newline character in emit-percents.

    Jesse Alama committed Jul 5, 2013
  6. Debug.

    Jesse Alama committed Jul 5, 2013
  7. Quote the newline.

    Jesse Alama committed Jul 5, 2013
  8. Better handling of newlines.

    Jesse Alama committed Jul 5, 2013
  9. Use the translate function.

    Jesse Alama committed Jul 5, 2013
  10. Debug.

    Jesse Alama committed Jul 5, 2013
  11. Typo.

    Jesse Alama committed Jul 5, 2013
  12. Wrong way to refer to text nodes.

    Jesse Alama committed Jul 5, 2013
  13. Better chomping.

    Jesse Alama committed Jul 5, 2013
Commits on Jul 4, 2013
  1. Newline only for element nodes.

    Jesse Alama committed Jul 4, 2013
  2. After the comment.

    Jesse Alama committed Jul 4, 2013
  3. Wrong handling of comments.

    Jesse Alama committed Jul 4, 2013
  4. All nodes, even text nodes.

    Jesse Alama committed Jul 4, 2013
  5. Don't forget text nodes.

    Jesse Alama committed Jul 4, 2013
  6. New render-tstp.xsl.

    Jesse Alama committed Jul 4, 2013
  7. Deal with comments.

    Jesse Alama committed Jul 4, 2013
  8. New utility for renaming predicates.

    Jesse Alama committed Jul 4, 2013
  9. Uncomment the xmlns.

    Jesse Alama committed Jul 4, 2013
  10. Die first.

    Jesse Alama committed Jul 4, 2013
Commits on May 29, 2013
  1. Wrong parameter list specification.

    Jesse Alama committed May 29, 2013
  2. Dump SECONDARY directive.

    Jesse Alama committed May 29, 2013
    We don't seem to need it.
  3. The makefile is phony.

    Jesse Alama committed May 29, 2013
  4. Clean up more.

    Jesse Alama committed May 29, 2013
  5. Parenthesize for safety.

    Jesse Alama committed May 29, 2013
  6. Use the variable, Luke.

    Jesse Alama committed May 29, 2013
  7. The stylesheets are PHONY.

    Jesse Alama committed May 29, 2013
  8. The source-tptp is not to be made.

    Jesse Alama committed May 29, 2013
  9. That didn't work.

    Jesse Alama committed May 29, 2013
  10. Try filtering out.

    Jesse Alama committed May 29, 2013
  11. clean is PHONY.

    Jesse Alama committed May 29, 2013
Something went wrong with that request. Please try again.