Ticket #753 (closed bug: fixed)

Opened 5 weeks ago

Last modified 4 weeks ago

too many "expand" links

Reported by: maeder Owned by: raider
Priority: major Milestone: 0.95
Component: interfaces Version: 0.93
Keywords: Cc:

Description

after "show unnamed nodes without open proofs" much less links are displayed because all "expand" links vanish that replaced proven theorem links (that are not shown).

So if "newly added proven edges" are not shown, they should also not be considered for computing "expand" links.

(an example is Hets-lib/Basic/Algebra_II.casl)

Change History

Changed 5 weeks ago by maeder

a better example is Basic/RelationsAndOrders.casl where after "Proofs -> Automatic" and "expand" the square node for Nat, Int and Rat are isolated.

Changed 4 weeks ago by raider

  • status changed from new to closed
  • resolution set to fixed

fixed by changeset:12717

Note: See TracTickets for help on using tickets.