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: |
Description
David Roe did it! See attached patch.
Attachments (2)
Change History (5)
Changed 15 years ago by
comment:1 Changed 15 years ago by
- 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
- Summary changed from create a global proof option -- patch attached to [with patch] create a global proof option
comment:3 Changed 15 years ago by
- Resolution set to fixed
- Status changed from new to closed
Note: See
TracTickets for help on using
tickets.
this is from david roe