Opened 15 years ago

Closed 15 years ago

#704 closed enhancement (fixed)

[with patch] create a global proof option

Reported by: William Stein Owned by: David Roe
Priority: major Milestone: sage-2.8.5
Component: user interface Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

David Roe did it! See attached patch.

Attachments (2)

global_proof.hg (8.6 KB) - added by William Stein 15 years ago.
this is from david roe
global_proof2.hg (8.6 KB) - added by David Roe 15 years ago.
Fixed indentation

Download all attachments as: .zip

Change History (5)

Changed 15 years ago by William Stein

Attachment: global_proof.hg added

this is from david roe

comment:1 Changed 15 years ago by William Stein

Summary: create a global proof option, which integrates "proof = False" and "proof = True" in a much better waycreate a global proof option -- patch attached

comment:2 Changed 15 years ago by Mike Hansen

Summary: create a global proof option -- patch attached[with patch] create a global proof option

Changed 15 years ago by David Roe

Attachment: global_proof2.hg added

Fixed indentation

comment:3 Changed 15 years ago by William Stein

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.