Change one line in README about building agent. We may eliminate that re...

...quirement later by appending BaseAspect in the generated aj file.
Sounds good. How about you make some further changes and I will review them?

Thanks.

On Sun, Oct 12, 2014 at 2:00 PM, Owolabi Legunsen <notifications@github.com>
wrote:

> In README.md:
>
> > @@ -59,6 +59,10 @@ prior to issuing the command above. ```<properties>``` refers
> >  to one or more property (i.e. *.mop) files, or a directory containing
> >  such property files.
> >
> > +Note that when building an agent, users need to have their properties
>
> Since this is referring only to the properties that users may write by
> themselves, this may be confusing for (or give wrong impressions to) users.
> I think that
>
>    1. Better distinction needs to be made by stating that the user does
>    not need to do anything extra if they use the properties that we already
>    provide.
>    2. Maybe we should move this to a separate section "Writing your own
>    properties"?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/runtimeverification/javamop/pull/126/files#r18749303>.
>



-- 
Qingzhou Luo
http://mir.cs.illinois.edu/~qluo2/

Department of Computer Science
University of Illinois, Urbana Champaign