Ticket #704 (closed enhancement: fixed)

Opened 5 years ago

Last modified 5 years ago

[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: Work issues:
Report Upstream: Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description

David Roe did it! See attached patch.

Attachments

global_proof.hg Download (8.6 KB) - added by was 5 years ago.
this is from david roe
global_proof2.hg Download (8.6 KB) - added by roed 5 years ago.
Fixed indentation

Change History

Changed 5 years ago by was

this is from david roe

comment:1 Changed 5 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 5 years ago by mhansen

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

Changed 5 years ago by roed

Fixed indentation

comment:3 Changed 5 years ago by was

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