[m-rev.] For review: use XML browser to browse terms in mdb
Ian MacLarty
maclarty at cs.mu.OZ.AU
Fri Dec 10 15:58:31 AEDT 2004
On 10 Dec 2004, at 15:50, Julien Fischer wrote:
>
> On Fri, 10 Dec 2004, Ian MacLarty wrote:
>
>>
>> On 10 Dec 2004, at 15:06, Julien Fischer wrote:
>>
>>>
>>> On Fri, 10 Dec 2004, Ian MacLarty wrote:
>>>
>>>>> It would be preferable if any stylesheets needed by the debugger
>>>>> lived
>>>>> in the browser directory not in extras (perhaps in a subdirectory
>>>>> of
>>>>> the
>>>>> browser directory).
>>>>>
>>>>
>>>> I don't really see that as a problem as extras is part of the same
>>>> cvs module.
>>>> The xul_tree.xsl stylesheet is not really part of the browser - it's
>>>> just
>>>> an example stylesheet that can be used to browse terms if you have a
>>>> XUL
>>>> browser.
>>>>
>>> If we ever want to separate extras out from the rest of the compiler,
>>> e.g if it becomes too large, then having these sort of dependencies
>>> is
>>> not going to help.
>>
>> So where do you propose I put it?
>>
> I think I suggested putting in a subdirectory of the browser directory
> in one of my review comments. What was wrong with that?
>
Yes but what should it be called? browser/stylesheets?
> Julien.
> -----------------------------------------------------------------------
> ---
> mercury-reviews mailing list
> post: mercury-reviews at cs.mu.oz.au
> administrative address: owner-mercury-reviews at cs.mu.oz.au
> unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message:
> unsubscribe
> subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message:
> subscribe
> -----------------------------------------------------------------------
> ---
>
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list