Hilbert II, Version 0.04.08 (gaffsie), 2014-02-13 22:48:53

Version History

0.04.08
=======

Functional Changes
------------------

  Extensions
  ----------
  none

  Fixed Bugs
  ----------
  none

  Other Changes
  -------------
  none
  

XML Files
-----------

  Extensions
  ----------
  - started writing proof for meta rule "conditional proof"


  Fixed Bugs
  ----------
  none

  Other Changes
  -------------
  none


Source Code
-----------

  Extensions
  ----------
  - start directory can now also be set by System.property application name
    + ".startDirectory"

  Fixed Bugs
  ----------
  none

  Other Changes
  -------------
  none
  

XSD
---

  Extensions
  ----------
  none

  Fixed Bugs
  ----------
  none

  Other Changes
  -------------
  none