User Activity

  • Posted a comment on discussion Help on Community Z Tools

    Hi, I am getting an error on clicking the refresh button in "Theorems" view (Z/EVES Eclipse Prover). Error: "Refreshing Z/EVES theorems has encountered a problem. Problems parsing Z/EVES response XML: com.sun.xml.bind.v2.ContextFactory". Kindly help me in resolving this issue.

View All

Personal Data

Username:
annwood
Joined:
2017-10-31 21:23:49

Projects

  • No projects to display.

Personal Tools

MongoDB Logo MongoDB