[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Version Control Commit by tara_athan
Author: tara_athan Date: 2012-10-19 17:59:40 -0400 (Fri, 19 Oct 2012) New Revision: 35 Web View: https://tools.oasis-open.org/version-control/browse/wsvn/legalruleml/?rev=35&sc=1 Modified: trunk/examples/draft/ex2.1.1.complaint-v1.lrml trunk/examples/draft/ex2.1.1.complaint-v2.lrml trunk/examples/draft/ex2.1.8-defeasible.lrml Log: Deontic syntax changed, identifier convention changed 1. changed examples to reflect changes in deontic syntax 2. changed identifiers in complaint example to avoid confusion with same (local part of) identifiers refering to different things in the original Akoma Ntoso texts
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]