rsig 1.4 -- Jun 26, 2007

  * Fixed a sporadic crash in the parser.


rsig 1.3 -- May 05, 2007

  * Atoms under strong negation were not properly handled.


rsig 1.2 -- Feb 27, 2007

  * Signatures of functions now *require* the specification of the
    type of the object denoted by the function. The syntax is:
         #sig func f(type1,type2,...) -> func_type.

    For example:
         #sig func on(bulb) -> fluent.

    says that function "on" takes an argument of type bulb, and that
    on(X) is of type fluent.

  * Fixed a bug in the handling of signatures of functions inside modules.


rsig 1.1 -- Feb 22, 2007

  * First public release.