2011-11-01  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-11-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* notebook for configuration

2011-11-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* help text / man page for existential dialog

2011-11-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix state-number simplification from 2011-09-27

2011-11-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix clone existentials bug

2011-10-28  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* existential variable window/dialog
	* fix rounding bug with width and subtree_width

2011-10-24  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* some more doc strings

2011-10-22  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* use a different color for proved branches with
	  non-instantiated existential variables
	* some more doc strings

2011-10-20  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* manage uninstantiated existential variables
	* change coq patch to print the uninstantiated existentials
	* change communication protocol to send the list of open
	  existentials to prooftree
	* change Proof General to extract and send uninstantiated
	  existentials
	* proof-tree nodes have now a list of existential
	  variables, which is changed in place, when they get
	  instantiated
	* change sequent and proof-command displays to list open
	  existentials
	* update these displays as necessary

2011-10-07  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix full-annotation problem (elisp only)

2011-10-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* move recent-changes marker in sync with website

2011-10-04  Hendrik Tews <prooftree@askra.de>

	* release version 0.6 on 2011-10-04 10:26:05 UTC

2011-10-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* make-bundle fix

2011-10-04  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-09-27  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* simplify state numbers

2011-09-23  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix bug of not properly deleted proof tree windows and
	  structures

2011-09-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix a current node position bug
	* some more doc strings

2011-08-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix to delete external node windows when retracting
	* improve handling of orphaned node windows

2011-08-11  Hendrik Tews <prooftree@askra.de>

	* release version 0.5 on 2011-08-11 13:53:56 UTC

2011-08-11  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-08-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* small fix

2011-08-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* changes towards release

2011-08-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* man page

2011-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* treat common config file errors

2011-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* sequent tooltips and more tool tip config

2011-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* change default colors
	* show current menu item
	* improve help

2011-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* improve makefile and configure

2011-08-06  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* tooltips with complete proof command

2011-08-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* external node window height configurable

2011-08-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* initial size of sequent window configurable

2011-08-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* improve save button

2011-08-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* save/restore buttons in configuration dialog

2011-07-31  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* change colors in configuration record into RGB triplets

2011-07-30  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* apply and ok in configuration window

2011-07-29  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* honor default size in configuration record

2011-07-29  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* honor tooltips in configuration record

2011-07-29  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* honor colors in configuration record

2011-07-28  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* honor fonts in configuration record

2011-07-28  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* configuration dialog layout finished, no effects yet

2011-07-23  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* help and exit menu items

2011-07-21  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* add menu with about dialog

2011-07-20  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix different line length problem

2011-07-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* invert dragging direction

2011-07-13  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* move proof tree by dragging with mouse 1

2011-07-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* internal documentation of main, input

2011-07-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* display external node windows on double click or shift
	  click

2011-07-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* improve current node positioning

2011-07-06  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix resize behaviour of node windows
	* add message label with some status information

2011-06-14  Hendrik Tews <prooftree@askra.de>

	* release version 0.4 on 2011-06-14 11:26:01 UTC

2011-06-14  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-06-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* another release fix

2011-06-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* small release fix

2011-06-08  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-06-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update coq version number in README's

2011-05-30  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* color cheated commands/branches in red

2011-05-30  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* clone button

2011-05-28  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update existentials in external windows

2011-05-27  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* external node windows on mouse button 2
	* window titles

2011-05-26  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* prooftree toolbar and menu entry (emacs lisp only)

2011-05-26  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* start prooftree in the middle of a proof (just
	  emacs-lisp changes)
	* kill proof tree window from emacs
	* let windows survive bulk undo's and change their state accordingly

2011-05-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* clear sequent window when undoing the selected proof command

2011-04-21  Hendrik Tews <prooftree@askra.de>

	* release version 0.3 on 2011-04-21 14:43:35 UTC

2011-04-21  Hendrik Tews <prooftree@askra.de>

	* make-bundle fix

2011-04-21  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-04-21  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* new protocol command switch-to
	* Coq's Focus/Unfocus work

2011-04-20  Hendrik Tews <prooftree@askra.de>

	* release version 0.2 on 2011-04-20 20:36:37 UTC

2011-04-20  Hendrik Tews <prooftree@askra.de>

	* another make-bundle fix

2011-04-20  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-04-20  Hendrik Tews <prooftree@askra.de>

	* make-bundle fix

2011-04-20  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-04-20  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* existential variables are now updated (which required
	  only Emacs lisp changes)
	* fix a number of cases when the sequent window showed
	  invalid or non-existing sequent text

2011-04-18  Hendrik Tews <prooftree@askra.de>

	* release version 0.1

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* undo release
	* makefile fix

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* minor

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* make-bundle changes

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* small improvements

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* various README's, make-bundle

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* GPL 3

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* configure

2011-04-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix bug with new subgoals and their order

2011-04-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* scroll sequent window to bottom

2011-04-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* redesign communication protocol (send complete states
	  now)
	* fix idle proof command problem

2011-04-13  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* privatized non-public methods
	* some module interface restrictions

2011-04-13  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* license

2011-04-13  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* truncate long proof commands

2011-04-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix undo for unaffected proofs

2011-04-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* states and proper undo
	* proper proof finish

2011-04-06  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* mouse button 1
	* current/selected node drawing
	* use of sequent window

2011-04-05  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* parsing input, first version of communication protocol
	* reposition to current node
	* colors


