Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update OvertureIDEUserGuide to remove proof status column #3

Closed
nickbattle opened this issue Sep 3, 2015 · 1 comment
Closed

Update OvertureIDEUserGuide to remove proof status column #3

nickbattle opened this issue Sep 3, 2015 · 1 comment
Assignees
@pglvdm

Comments

@nickbattle
Copy link
Contributor

The OvertureIDEUserGuide says that the POG view has a column with the proof status, which is ticked (discharged) if the PO matches one of a handful of trivial patterns. This was removed when the POG was updated to generate AST subtrees rather than strings - there is no such column in Overture 2.2.6.
@pglvdm
Copy link
Contributor

pglvdm commented Sep 11, 2015

This is fixed (among many other issues) in the manual for version 2.3.0

@pglvdm pglvdm self-assigned this Sep 11, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@pglvdm pglvdm

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@nickbattle @pglvdm @peterwvj