[versioning and modified cabal file
martin.hofmann@uni-bamberg.de**20090611040921] hunk ./igor2.cabal 2
-version: 0.5.8.5
+version: 0.5.9.0
hunk ./igor2.cabal 22
-synopsis:
-description: Igor2 is an inductive programming system which generalises programs from I/O examples
+synopsis: Igor2 is an analytical inductive programming system which generalises programs from I/O examples
+description: Igor2 is an analytical inductive program synthesis system, which addresses the problem of constructing recursive programs from incomplete specifications, typically input/output examples. In contrast to approaches of inductive logic programming and evolutionary computation, which are mainly search-based, analytical approaches have the advantage that synthesis effort is considerably lower. Igor2's approach guarantees that the induced programs are a minimal generalization over examples and terminate. 
hunk ./src/UI/Help.hs 33
-                          "course. All Prelude data types can be used and " ++
-                          "further data types can be defined in this module." ++
-                          "Imports are not supported, yet.") <$$> linebreak <>
+                          "course. All Prelude data types ([a], Bool, Maybe " ++
+                          "a, Either a b) can be used and further data " ++
+                          "types can be defined in this module. Imports are " ++
+                          "not supported, yet.") <$$> linebreak <>
hunk ./src/UI/UIStarter.hs 36
-version = "v0.5.8.5"
+version = "v0.5.9.0"