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 taraathan


Author: taraathan
Date: 2015-12-17 19:57:03 +0000 (Thu, 17 Dec 2015)
New Revision: 286
Web View: https://tools.oasis-open.org/version-control/browse/wsvn/legalruleml/?rev=286&sc=1

Modified:
   trunk/examples/draft/ex2.1.2b-qualification-compact.lrml
Log:
implement modifications arising from changed definitions regarding SuborderList nesting

Also fixed issues regarding Paraphrase occuring in all formulas, even those in the LRML namespace.


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]