[m-rev.] for post-commit review: document env type options

[Julien Fischer]

On Tue, 11 Jan 2011, Paul Bone wrote:

> On Mon, Jan 10, 2011 at 05:39:42PM +1100, Julien Fischer wrote:
>> Index: README.Java
>> ===================================================================
>> RCS file: /home/mercury/mercury1/repository/mercury/README.Java,v
>> retrieving revision 1.19
>> diff -u -r1.19 README.Java
>> --- README.Java	26 Oct 2010 04:59:10 -0000	1.19
>> +++ README.Java	10 Jan 2011 06:35:38 -0000
>> @@ -47,9 +47,18 @@
>>
>>  	./hello
>>
>> +Note that hello is a simple shell script that invokes the program using the
>> +Java interpreter.  The actual class files are stored in the Mercury
>> +subdirectory in `classs'.
>
> I don't know what the compiler actually does but should that be spelt "classes"?

`classs' is what the compiler actually creates.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------