Menu
▾
▴
Tickets Maximize Restore
| # | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | |
|---|---|---|---|---|---|---|---|
| 508 | Is the project abandoned? | After Lurch 1.0 | open | 2020-08-18 | 2020-08-20 | ||
| 507 | Setting pp format always wipes out font style | After Lurch 1.0 | open | 2016-11-18 | 2016-11-18 | ||
| 506 | Open Recent Update Problems | After Lurch 1.0 | open | 2016-11-06 | 2016-11-06 | ||
| 505 | not inserting symbols into find | After Lurch 1.0 | open | 2016-10-26 | 2016-10-26 | ||
| 504 | Help menu on Mac version (in Qt 5.1.0) can be made to disappear | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | 2013-07-15 | 2013-07-16 | ||
| 503 | Enabling validation resets formatting drop-down to "none" | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | 2013-07-15 | 2013-07-15 | ||
| 502 | Fix failed unit test in test_pkg_representation or remove the package | Toward Lurch 1.0 | open | 2013-07-10 | 2013-07-10 | ||
| 501 | Fix failed unit test in test_lenv | Toward Lurch 1.0 | open | 2013-07-10 | 2013-07-10 | ||
| 500 | Fix failed unit tests in test_ldoc_conv | Toward Lurch 1.0 | open | 2013-07-10 | 2013-07-10 | ||
| 498 | Add support for high-dpi ("retina") Macs | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | 2013-07-02 | 2013-07-08 | ||
| 497 | Consider adding help links in many locations | Toward Lurch 1.0 | open | 2013-06-13 | 2013-06-13 | ||
| 496 | Remove OpenMath compiler warning | After Lurch 1.0 | open | 2013-06-11 | 2013-06-11 | ||
| 495 | Make it easy to email a professor | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | Nathan Carter | 2013-06-05 | 2013-06-06 | |
| 494 | Improve detailed feedback messages | Toward Lurch 1.0 | new | Nathan Carter | 2013-06-05 | 2013-06-05 | |
| 491 | Sign Lurch to satisfy Mac Gatekeeper | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | Nathan Carter | 2013-05-17 | 2013-06-06 | |
| 490 | Add XML version information file to Lurch website as part of release | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | Nathan Carter | 2013-04-15 | 2013-06-06 | |
| 489 | Replace Russell's Theorem with a better main example | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | Ken Monks | 2013-04-13 | 2013-06-06 | |
| 488 | Integrate GNU CAS into Lurch | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | Nathan Carter | 2013-03-28 | 2013-07-10 | |
| 487 | Add command line arguments to support web page load/save feature | Toward Lurch 1.0 | new | Nathan Carter | 2013-03-25 | 2014-07-15 | |
| 486 | Allow arbitrary spaces in strings in ME's. | Toward Lurch 1.0 | new | Nathan Carter | 2013-03-22 | 2013-03-22 | |
| 485 | Enhance Lurch update mechanism to include release notes and libraries | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | Nathan Carter | 2013-03-21 | 2014-08-19 | |
| 483 | Make document zooming more consistent in several ways | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | Nathan Carter | 2013-03-10 | 2013-06-06 | |
| 482 | Respect user preferences for whether updated premise references to numbered list numbers should have a period included | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | Nathan Carter | 2013-03-01 | 2013-06-06 | |
| 481 | Always recover the text of a document | Toward Lurch 1.0 | new | Nathan Carter | 2013-02-25 | 2013-02-25 | |
| 479 | Undoing a list removal from a selection creates separate lists | Lurch 0.7*-0.8* - ongoing point releases over 0.75 | open | Nathan Carter | 2013-02-21 | 2013-06-06 |
