=== grinvin-core 1.2 (2008.06.28) ===

 * (BUGFIX) Rememer graph list view when loading workspace.
 * Not only check invariant computer version but also its id when
   recomputing.

=== grinvin-core 1.1.1 (2008.06.25) ===

 * Show new splash screen when loading.

=== grinvin-core 1.1 (2008.06.19) ===

 * Development release that will become GrInvIn 1.2
 * New features include:
   - Introduce worksheets that replace graph list windows and conjecturing
     windows: every worksheet can be used for conjecture making
   - Added a library of common graphs
   - Support for graph generators
   - New workspace file format

=== grinvin-core 1.0.4 (2008.05.25) ===

 * Recalculate invariant value when the cached value is calculated by an older
   invariant computer.
 * (BUGFIX) Fixed incorrect check for division by zero in conjecturing engine.
 * (BUGFIX) Do not hang when help module is unavailable.

=== grinvin-core 1.0.3 (2007.11.23) ===

 * (BUGFIX) Do not crash when invariants module is unavailable.
 * (BUGFIX) Do not crash when invariant computer (factory) cannot be found.
 * (BUGFIX) Make sure the current classloader is used as a parent for
   LocalClassLoader, fixes Java Web Start issues.

=== grinvin-core 1.0.2 (2007.06.18) ===

 * (BUGFIX) Fixed IllegalArgumentException when reordering table columns in
   a graph properties window.
 * (BUGFIX) Fixed IndexOutOfBoundsException when quickly closing columns in
   a graph-invariants table.
 * (BUGFIX) Fixed IndexOutOfBoundsException when adding multiple invariants to
   a graph properties window.
 * (BUGFIX) Fixed NullPointerException when graph properties were displayed
   without having a graph selected.
 * (BUGFIX) Fixed ClassCastException when dragging invariants from a
   graph list window.
 * (BUGFIX) Fixed IllegalArgumentException in the editor when removing a vertex
   or edge using undo/redo while hovering over it.

=== grinvin-core 1.0.1 (2007.05.23) ===

 * The version of grinvin-dist was added to the information window.

=== grinvin-core 1.0 (2007.05.23) ===

 * First public release.
