Changelog for CarneadesDSL-1.3

1.2 => 1.3 ============= This package has been extended and now includes: * An Input module, allowing files to be parsed. * An example of the usage of this module. => 1.2 ============= This package version is now compatible with the translation package CarneadesIntoDung. See * Change the use of proof standards to rely on the definition of |PSName| to allow for an easier translation. * Fix the definition of applicability to include all three conditions.