2011-06-14

• support starting prooftree in the middle of a proof
• display extra windows with the complete sequent text or the complete proof command on mouse button 2
• the clone button yields a frozen copy of the proof tree
• branches that are finished by a cheating tactic (such as admit or sorry) are colored in red
• keep proof tree windows when retracting in a big step to a point before the proof

2011-04-21

• Show, Focus and Unfocus work.

2011-04-20

• Update existential variables when they are instantiated (as far as possible)
• fix sequent window showing outdated text

2011-04-18

• first release