2017-01-03  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2017-01-02  Hendrik Tews  <hendrik@askra.de>

	* compile with -safe-string

2017-01-02  Hendrik Tews  <hendrik@askra.de>

	* update doc

2016-12-28  Hendrik Tews  <hendrik@askra.de>

	* gitignore and some debugging code in comments

2016-01-23  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* update copyright

2016-01-22  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* add tests for cycle/swap/revgoals, Grab Existentials/Unshelve, giveup

2016-01-21  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* update evar parsing for 8.5

2016-01-18  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* disable implicit optional argument elimination warning 48

2016-01-18  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* fix deprecated or

2016-01-17  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* fix 4.02 compilation problem

2016-01-16  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* crash fix ??

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

	* rename delete_non_sticky_node_window

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

	* let the cancel button reset the configuration

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

	* display a warning for config file version errors

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

	* catch input log file opening errors

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

	* close old PG log file, before changing it

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

	* update doc

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

	* config window without apply

2013-08-05  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* use stock items for most buttons

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

	* describe prooftree notification messages and other doc fixes

2013-08-03  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* show selected menu entry

2013-08-03  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update INSTALL, README; add compatibility file

2013-08-03  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update man page

2013-08-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* quit prooftree when closing -config or -help-dialog windows
	* update help window text

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

	* add history list in external sequent windows

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

	* fix wrong existential info in external node windows

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

	* fix title of orphaned node windows
	* don't update content of sticky node windows

2013-05-17  Hendrik Tews <prooftree@askra.de>

	* release version 0.12 on 2013-05-17 13:39:12 UTC

2013-05-17  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2013-05-17  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2013-03-28  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* copyright 2013

2013-03-27  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* change required Proof General version to 4.3pre130327

2013-03-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* another clone regression

2013-01-30  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix clone regression

2013-01-30  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* after release changes

2013-01-21  Hendrik Tews <prooftree@askra.de>

	* release version 0.11 on 2013-01-21 16:43:11 UTC

2013-01-21  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2013-01-21  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* misc changes towards release

2013-01-21  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* implement proof script insertion

2013-01-20  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* implement undo
	* have a separate context menu
	* add headings in help window

2013-01-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* add scrollbar to evar table
	* add keybindings to evar window
	* add default number of lines of evar window to config
	  record, but stay at config file version 04

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix embarrassing evar positioning bug

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* try ocamlfind in configure for lablgtk2
	* fix ocamldoc warnings

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* write ocamldoc comments

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* delete newlines in short proof commands

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* center layers

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* warning for more than one initial goal

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* integrate new config values in configuration dialog

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* support Grab Existential Variables
	* display several layers with several proof trees each
	* protocol change, but stay at version 3
	* new config file version 04

2013-01-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* differentiate proof complete message according to
	  extistential status

2013-01-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* doc fixes

2013-01-14  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix paragraphs in help window

2013-01-14  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* support for bullets and braces
	* protocol change to version 3
	  - change proof-finished into branch-finished and adapt
	    its meaning
	* introduce proof-tree states without current sequent and
	  permit navigation commands without current sequent

2013-01-03  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix surviver reuse bug introduced yesterday

2013-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* improve positioning: make parents and new siblings visible

2013-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix assertion when undo states are incorrect because of
	  insertions

2012-09-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* die with a sensible message in case Proof is missing
	* polish man page and add limitations section

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

	* fix clone deletes primary window problem

2012-07-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix an embarrassing control flow bug in input.ml

2012-05-14  Hendrik Tews <prooftree@askra.de>

	* release version 0.10 on 2012-05-14 21:11:13 UTC

2012-05-14  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2012-05-14  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* more debian packaging fixes

2012-05-14  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* prepare release
	* adjust debian stuff

2012-05-14  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* use odoc_xref tags for doc links into other libraries

2012-03-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix assertion in callback

2012-03-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* internal documentation complete

2012-03-07  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* lots of internal documentation

2012-03-06  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* ignore overridden methods warning as long as we support 3.11
	* check-doc makefile goal
	* add minimal support for HOL Light
	* add and fix some doc comments

2012-01-29  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* unescaped string end-of-line warning

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

	* structured copyright
	* doc-base entry

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

	* try watch again

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

	* try watch again

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

	* try out-of-date-standards-version

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

	* try lintian possible-documentation,
	  Debian-watch-file-is-missing,
	  out-of-date-standards-version

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

	* prepare debian/changelog for next release

2012-01-04  Hendrik Tews <prooftree@askra.de>

	* release version 0.9 on 2012-01-04 20:39:05 UTC

2012-01-04  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2012-01-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix debian/changelog

2012-01-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix case where some existential is instantiated with
	  the last proof command
	* protocol change to version 2
	  - rename proof-complete into proof-finished and add
	    existential info
	  - add proof-complete message

2012-01-03  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* release version 0.8 on 2012-01-03 10:11:10 UTC

2012-01-03  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2012-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* separate INSTALL
	* make-release update

2012-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update README, changes, man page

2012-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* clean up copyright
	* packaging in make-release

2012-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* DESTDIR
	* copyright 2012
	* add make-release
	* add debian subdir

2012-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* protocol change: configure message required as first
	  message
	* set protocol version to 1
	* simplify Elisp communication primitives

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

	* delete proof-full-annotation-internal (as Dave wished) (elisp only)
	* fix strange start problem

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

	* protocol change: first fixed length line tells length
	  of second line with command

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

	* put coq specific code into coq.ml

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

	* new option -help-dialog
	* update builtin help man page

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

	* handle display quit and prooftree process termination

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

	* delete other_open_goals field from internal state

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

	* fix quit problem (which makes another quit problem more
	  obvious)
	* improve evar printing

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

	* elisp only:
	  - proof-tree-configured for protecting menu and entry
	    function
	  - send undo when leaving buffer
	  - fix proof-tree start without a proof shell

	  - simplify/clear unused code
	  - fix initialization problem

	  - put update-goal into callback
	  - don't use numbers as flags any more

	  - clear state when proof is finished/quit
	  - fix bug introduced earlier today

	  - use Show Goal, flush coq-sequent-id-assoc
	  - prooftree updates now inaccessible sequents!

	  - improve starting prooftree in the middle of a proof
	  - assert-until-point no longer called inside the
	    process filter

	  - improve error handling when prooftree cannot be found

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

	* some elisp-only changes
	  - call delayed proof-tree handler only conditionally
	  - simplify proof-tree-current-proof, flush its undo history
	  - new prover option proof-tree-find-begin-of-unfinished-proof for
	    finding the starting point of a theorem
	  - specify proof-tree-get-proof-info as function without arguments
	  - flush unused cmd argument from proof-tree-urgent-action

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

	* set proof-tree background to GTK prelight default
	* adjust default colors

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

	* put detailed existential status into the existential
	  record, which is updated lazily before every redraw
	* proof tree uses color for partial instantiation

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

	* using column in evar window
	* new color for partially instantiated evar's
	* new config file version 03
	* use colors in evar window
	* update configuration in evar window

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

	* fix -w Ae warnings
	* use an existential hash in the proof-tree record and
	  link dependencies for instantiated existentials

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

	* more documentation
	* move to coq trunk
	  - protocol change: current-goals gets the complete evar
	    info as string, which is parsed inside prooftree
	  - added coq specific evar info parser
	* new option -config

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

	* abandon coq patches, work with coq trunk now (elisp only)
	  Many thanks to Arnaud Spiwack for his dependent evar patch!

	* use match-string-no-properties instead of
	  buffer-substring-no-properties (elisp only)

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

	* release version 0.7 on 2011-11-01 13:23:57 UTC

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