OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

legalruleml message

[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]