Opened 15 years ago

Closed 15 years ago

#704 closed enhancement (fixed)

[with patch] create a global proof option

Reported by: was Owned by: roed
Priority: major Milestone: sage-2.8.5
Component: user interface Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: 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 was 15 years ago.
this is from david roe
global_proof2.hg​ (8.6 KB) - added by roed 15 years ago.
Fixed indentation

Download all attachments as: .zip

Change History (5)

Changed 15 years ago by was

this is from david roe

comment:1 Changed 15 years ago by was

  • Summary changed from create a global proof option, which integrates "proof = False" and "proof = True" in a much better way to create a global proof option -- patch attached

comment:2 Changed 15 years ago by mhansen

  • Summary changed from create a global proof option -- patch attached to [with patch] create a global proof option

Changed 15 years ago by roed

Fixed indentation

comment:3 Changed 15 years ago by was

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.