-0.5.8 - ... - toward the 1.x series
+0.5.8 - 02/12/2009 - toward the 1.x series
* Complete rewriting of paramodulation code (thanks to Maxime Denes),
that is abstract over the data type embedded in the fisrt order
theory the procedure is able to handle.
they are in a standard path
* including a file of the standard library triggers its compilation
in the user's space
+ * gtksourceview2 based text widget (lablgtk >= 2.14)
0.5.7 - 15/02/2009 - PĂ doa release
* are_convertible bug solved, arguments of application where