Re: p4-feedback Digest, Vol 23, Issue 10

classic Classic list List threaded Threaded
5 messages Options
Reply | Threaded
Open this post in threaded view
|

Re: p4-feedback Digest, Vol 23, Issue 10

Rinke Hoekstra-4

On 10 aug 2008, at 17:29, [hidden email] wrote:
> Hi Rinke,
>

Hi Matthew,

> Classes, properties and individuals that have "defining" axioms in the
> currently selected ontology are shown in bold.... or this used to be
> the case (somehow everything seems bold now).

yup, for me too

> Also, you should be
> able to right click on any axiom (in the standard components) and
> select move axiom to e.g.

Aaaaaah excellent! I should have tried that before posting... sorry  
*blushes*

Great,

        Rinke (happy)

PS Buglet: Right (or Ctrl-) clicking on the property or class used in  
an axiom switches to that property/class before the pop-up menu offers  
anything sensible.

>
>
> -------------- next part --------------
> A non-text attachment was scrubbed...
> Name: pastedGraphic.png
> Type: image/png
> Size: 33761 bytes
> Desc: not available
> Url : http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20080810/9e5391e8/attachment.png
> -------------- next part --------------
>
>
>
> Cheers,
>
> Matthew
>
>
> On 10 Aug 2008, at 11:55, Rinke Hoekstra wrote:
>
>> Hi,
>>
>> The 'move axioms to ontology' refactoring tool is really useful for
>> bulk actions, but rather cumbersome when dealing with individual
>> axioms. For instance, I frequently assert axioms in the wrong  
>> ontology
>> of my imports closure (a bit more visual feedback on which classes/
>> properties are defined in the currently selected ontology would be
>> nice). To correct this, I now have to go through all the steps in the
>> refactoring wizard, whereas a simple context-sensitive 'move  
>> axiom...'
>> option is much more effective.
>>
>> -Rinke
>>
>> -----------------------------------------------
>> Drs. Rinke Hoekstra
>>
>> Email: [hidden email]    Skype:  rinkehoekstra
>> Phone: +31-20-5253499     Fax:   +31-20-5253495
>> Web:   http://www.leibnizcenter.org/users/rinke
>>
>> Leibniz Center for Law,          Faculty of Law
>> University of Amsterdam,            PO Box 1030
>> 1000 BA  Amsterdam,             The Netherlands
>> -----------------------------------------------
>>
>>
>>
>> _______________________________________________
>> p4-feedback mailing list
>> [hidden email]
>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
>
> ------------------------------
>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
>
> End of p4-feedback Digest, Vol 23, Issue 10
> *******************************************

-----------------------------------------------
Drs. Rinke Hoekstra

Email: [hidden email]    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------



_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Moving axioms

Rinke Hoekstra-4
Hi,

Question: I can move axioms, but how can I move properties/classes/
individuals as well?

-Rinke

On 10 aug 2008, at 17:45, Rinke Hoekstra wrote:

>
> On 10 aug 2008, at 17:29, [hidden email]  
> wrote:
>> Hi Rinke,
>>
>
> Hi Matthew,
>
>> Classes, properties and individuals that have "defining" axioms in  
>> the
>> currently selected ontology are shown in bold.... or this used to be
>> the case (somehow everything seems bold now).
>
> yup, for me too
>
>> Also, you should be
>> able to right click on any axiom (in the standard components) and
>> select move axiom to e.g.
>
> Aaaaaah excellent! I should have tried that before posting... sorry  
> *blushes*
>
> Great,
>
> Rinke (happy)
>
> PS Buglet: Right (or Ctrl-) clicking on the property or class used  
> in an axiom switches to that property/class before the pop-up menu  
> offers anything sensible.
>
>>
>>
>> -------------- next part --------------
>> A non-text attachment was scrubbed...
>> Name: pastedGraphic.png
>> Type: image/png
>> Size: 33761 bytes
>> Desc: not available
>> Url : http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20080810/9e5391e8/attachment.png
>> -------------- next part --------------
>>
>>
>>
>> Cheers,
>>
>> Matthew
>>
>>
>> On 10 Aug 2008, at 11:55, Rinke Hoekstra wrote:
>>
>>> Hi,
>>>
>>> The 'move axioms to ontology' refactoring tool is really useful for
>>> bulk actions, but rather cumbersome when dealing with individual
>>> axioms. For instance, I frequently assert axioms in the wrong  
>>> ontology
>>> of my imports closure (a bit more visual feedback on which classes/
>>> properties are defined in the currently selected ontology would be
>>> nice). To correct this, I now have to go through all the steps in  
>>> the
>>> refactoring wizard, whereas a simple context-sensitive 'move  
>>> axiom...'
>>> option is much more effective.
>>>
>>> -Rinke
>>>
>>> -----------------------------------------------
>>> Drs. Rinke Hoekstra
>>>
>>> Email: [hidden email]    Skype:  rinkehoekstra
>>> Phone: +31-20-5253499     Fax:   +31-20-5253495
>>> Web:   http://www.leibnizcenter.org/users/rinke
>>>
>>> Leibniz Center for Law,          Faculty of Law
>>> University of Amsterdam,            PO Box 1030
>>> 1000 BA  Amsterdam,             The Netherlands
>>> -----------------------------------------------
>>>
>>>
>>>
>>> _______________________________________________
>>> p4-feedback mailing list
>>> [hidden email]
>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>
>>
>> ------------------------------
>>
>> _______________________________________________
>> p4-feedback mailing list
>> [hidden email]
>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>
>>
>> End of p4-feedback Digest, Vol 23, Issue 10
>> *******************************************
>
> -----------------------------------------------
> Drs. Rinke Hoekstra
>
> Email: [hidden email]    Skype:  rinkehoekstra
> Phone: +31-20-5253499     Fax:   +31-20-5253495
> Web:   http://www.leibnizcenter.org/users/rinke
>
> Leibniz Center for Law,          Faculty of Law
> University of Amsterdam,            PO Box 1030
> 1000 BA  Amsterdam,             The Netherlands
> -----------------------------------------------
>
>
>

-----------------------------------------------
Drs. Rinke Hoekstra

Email: [hidden email]    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------



_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Moving axioms

Rinke Hoekstra-4
Sorry for bringing this up... obviously classes, individuals and  
properties only exist where they are used in axioms. Ontologies may  
declare them, but if there are no axioms that explicitly use the class/
individual/property, they don't have any semantics.

What I should have said was, rather, that it would be nice to be able  
to directly select subClassOf/rdf:type/subPropertyOf axioms without  
having to go through the wizard.

Cheers

-Rinke

On 12 aug 2008, at 09:55, Rinke Hoekstra wrote:

> Hi,
>
> Question: I can move axioms, but how can I move properties/classes/
> individuals as well?
>
> -Rinke
>
> On 10 aug 2008, at 17:45, Rinke Hoekstra wrote:
>
>>
>> On 10 aug 2008, at 17:29, [hidden email]
>> wrote:
>>> Hi Rinke,
>>>
>>
>> Hi Matthew,
>>
>>> Classes, properties and individuals that have "defining" axioms in
>>> the
>>> currently selected ontology are shown in bold.... or this used to be
>>> the case (somehow everything seems bold now).
>>
>> yup, for me too
>>
>>> Also, you should be
>>> able to right click on any axiom (in the standard components) and
>>> select move axiom to e.g.
>>
>> Aaaaaah excellent! I should have tried that before posting... sorry
>> *blushes*
>>
>> Great,
>>
>> Rinke (happy)
>>
>> PS Buglet: Right (or Ctrl-) clicking on the property or class used
>> in an axiom switches to that property/class before the pop-up menu
>> offers anything sensible.
>>
>>>
>>>
>>> -------------- next part --------------
>>> A non-text attachment was scrubbed...
>>> Name: pastedGraphic.png
>>> Type: image/png
>>> Size: 33761 bytes
>>> Desc: not available
>>> Url : http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20080810/9e5391e8/attachment.png
>>> -------------- next part --------------
>>>
>>>
>>>
>>> Cheers,
>>>
>>> Matthew
>>>
>>>
>>> On 10 Aug 2008, at 11:55, Rinke Hoekstra wrote:
>>>
>>>> Hi,
>>>>
>>>> The 'move axioms to ontology' refactoring tool is really useful for
>>>> bulk actions, but rather cumbersome when dealing with individual
>>>> axioms. For instance, I frequently assert axioms in the wrong
>>>> ontology
>>>> of my imports closure (a bit more visual feedback on which classes/
>>>> properties are defined in the currently selected ontology would be
>>>> nice). To correct this, I now have to go through all the steps in
>>>> the
>>>> refactoring wizard, whereas a simple context-sensitive 'move
>>>> axiom...'
>>>> option is much more effective.
>>>>
>>>> -Rinke
>>>>
>>>> -----------------------------------------------
>>>> Drs. Rinke Hoekstra
>>>>
>>>> Email: [hidden email]    Skype:  rinkehoekstra
>>>> Phone: +31-20-5253499     Fax:   +31-20-5253495
>>>> Web:   http://www.leibnizcenter.org/users/rinke
>>>>
>>>> Leibniz Center for Law,          Faculty of Law
>>>> University of Amsterdam,            PO Box 1030
>>>> 1000 BA  Amsterdam,             The Netherlands
>>>> -----------------------------------------------
>>>>
>>>>
>>>>
>>>> _______________________________________________
>>>> p4-feedback mailing list
>>>> [hidden email]
>>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>>>
>>> ------------------------------
>>>
>>> _______________________________________________
>>> p4-feedback mailing list
>>> [hidden email]
>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>>>
>>> End of p4-feedback Digest, Vol 23, Issue 10
>>> *******************************************
>>
>> -----------------------------------------------
>> Drs. Rinke Hoekstra
>>
>> Email: [hidden email]    Skype:  rinkehoekstra
>> Phone: +31-20-5253499     Fax:   +31-20-5253495
>> Web:   http://www.leibnizcenter.org/users/rinke
>>
>> Leibniz Center for Law,          Faculty of Law
>> University of Amsterdam,            PO Box 1030
>> 1000 BA  Amsterdam,             The Netherlands
>> -----------------------------------------------
>>
>>
>>
>
> -----------------------------------------------
> Drs. Rinke Hoekstra
>
> Email: [hidden email]    Skype:  rinkehoekstra
> Phone: +31-20-5253499     Fax:   +31-20-5253495
> Web:   http://www.leibnizcenter.org/users/rinke
>
> Leibniz Center for Law,          Faculty of Law
> University of Amsterdam,            PO Box 1030
> 1000 BA  Amsterdam,             The Netherlands
> -----------------------------------------------
>
>
>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback

-----------------------------------------------
Drs. Rinke Hoekstra

Email: [hidden email]    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------



_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Moving axioms

Nick Drummond
I started replying before I saw this, so just to clarify:

"This depends what you mean by move.
The different selection strategies decide for you.
If you select "axioms referencing x" then all of the axioms that pertain to that x (class/property/ind) are moved.
Therefore, you have moved x to another ontology (or at least everything you know about x)."

OK, you mean you want to be able to select individual axioms and move them?

You are right, currently there is no way to do this outside of the wizard.

Nick

On Tue, Aug 12, 2008 at 1:34 PM, Rinke Hoekstra <[hidden email]> wrote:
Sorry for bringing this up... obviously classes, individuals and
properties only exist where they are used in axioms. Ontologies may
declare them, but if there are no axioms that explicitly use the class/
individual/property, they don't have any semantics.

What I should have said was, rather, that it would be nice to be able
to directly select subClassOf/rdf:type/subPropertyOf axioms without
having to go through the wizard.

Cheers

-Rinke

On 12 aug 2008, at 09:55, Rinke Hoekstra wrote:

> Hi,
>
> Question: I can move axioms, but how can I move properties/classes/
> individuals as well?
>
> -Rinke
>
> On 10 aug 2008, at 17:45, Rinke Hoekstra wrote:
>
>>
>> On 10 aug 2008, at 17:29, [hidden email]
>> wrote:
>>> Hi Rinke,
>>>
>>
>> Hi Matthew,
>>
>>> Classes, properties and individuals that have "defining" axioms in
>>> the
>>> currently selected ontology are shown in bold.... or this used to be
>>> the case (somehow everything seems bold now).
>>
>> yup, for me too
>>
>>> Also, you should be
>>> able to right click on any axiom (in the standard components) and
>>> select move axiom to e.g.
>>
>> Aaaaaah excellent! I should have tried that before posting... sorry
>> *blushes*
>>
>> Great,
>>
>>      Rinke (happy)
>>
>> PS Buglet: Right (or Ctrl-) clicking on the property or class used
>> in an axiom switches to that property/class before the pop-up menu
>> offers anything sensible.
>>
>>>
>>>
>>> -------------- next part --------------
>>> A non-text attachment was scrubbed...
>>> Name: pastedGraphic.png
>>> Type: image/png
>>> Size: 33761 bytes
>>> Desc: not available
>>> Url : http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20080810/9e5391e8/attachment.png
>>> -------------- next part --------------
>>>
>>>
>>>
>>> Cheers,
>>>
>>> Matthew
>>>
>>>
>>> On 10 Aug 2008, at 11:55, Rinke Hoekstra wrote:
>>>
>>>> Hi,
>>>>
>>>> The 'move axioms to ontology' refactoring tool is really useful for
>>>> bulk actions, but rather cumbersome when dealing with individual
>>>> axioms. For instance, I frequently assert axioms in the wrong
>>>> ontology
>>>> of my imports closure (a bit more visual feedback on which classes/
>>>> properties are defined in the currently selected ontology would be
>>>> nice). To correct this, I now have to go through all the steps in
>>>> the
>>>> refactoring wizard, whereas a simple context-sensitive 'move
>>>> axiom...'
>>>> option is much more effective.
>>>>
>>>> -Rinke
>>>>
>>>> -----------------------------------------------
>>>> Drs. Rinke Hoekstra
>>>>
>>>> Email: [hidden email]    Skype:  rinkehoekstra
>>>> Phone: +31-20-5253499     Fax:   +31-20-5253495
>>>> Web:   http://www.leibnizcenter.org/users/rinke
>>>>
>>>> Leibniz Center for Law,          Faculty of Law
>>>> University of Amsterdam,            PO Box 1030
>>>> 1000 BA  Amsterdam,             The Netherlands
>>>> -----------------------------------------------
>>>>
>>>>
>>>>
>>>> _______________________________________________
>>>> p4-feedback mailing list
>>>> [hidden email]
>>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>>>
>>> ------------------------------
>>>
>>> _______________________________________________
>>> p4-feedback mailing list
>>> [hidden email]
>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>>>
>>> End of p4-feedback Digest, Vol 23, Issue 10
>>> *******************************************
>>
>> -----------------------------------------------
>> Drs. Rinke Hoekstra
>>
>> Email: [hidden email]    Skype:  rinkehoekstra
>> Phone: +31-20-5253499     Fax:   +31-20-5253495
>> Web:   http://www.leibnizcenter.org/users/rinke
>>
>> Leibniz Center for Law,          Faculty of Law
>> University of Amsterdam,            PO Box 1030
>> 1000 BA  Amsterdam,             The Netherlands
>> -----------------------------------------------
>>
>>
>>
>
> -----------------------------------------------
> Drs. Rinke Hoekstra
>
> Email: [hidden email]    Skype:  rinkehoekstra
> Phone: +31-20-5253499     Fax:   +31-20-5253495
> Web:   http://www.leibnizcenter.org/users/rinke
>
> Leibniz Center for Law,          Faculty of Law
> University of Amsterdam,            PO Box 1030
> 1000 BA  Amsterdam,             The Netherlands
> -----------------------------------------------
>
>
>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback

-----------------------------------------------
Drs. Rinke Hoekstra

Email: [hidden email]    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------



_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Moving axioms

Nick Drummond
Just ignore the last sentence. My role has worn off.

Nick

On Tue, Aug 12, 2008 at 3:50 PM, Nick Drummond <[hidden email]> wrote:
I started replying before I saw this, so just to clarify:

"This depends what you mean by move.
The different selection strategies decide for you.
If you select "axioms referencing x" then all of the axioms that pertain to that x (class/property/ind) are moved.
Therefore, you have moved x to another ontology (or at least everything you know about x)."

OK, you mean you want to be able to select individual axioms and move them?

You are right, currently there is no way to do this outside of the wizard.

Nick


On Tue, Aug 12, 2008 at 1:34 PM, Rinke Hoekstra <[hidden email]> wrote:
Sorry for bringing this up... obviously classes, individuals and
properties only exist where they are used in axioms. Ontologies may
declare them, but if there are no axioms that explicitly use the class/
individual/property, they don't have any semantics.

What I should have said was, rather, that it would be nice to be able
to directly select subClassOf/rdf:type/subPropertyOf axioms without
having to go through the wizard.

Cheers

-Rinke

On 12 aug 2008, at 09:55, Rinke Hoekstra wrote:

> Hi,
>
> Question: I can move axioms, but how can I move properties/classes/
> individuals as well?
>
> -Rinke
>
> On 10 aug 2008, at 17:45, Rinke Hoekstra wrote:
>
>>
>> On 10 aug 2008, at 17:29, [hidden email]
>> wrote:
>>> Hi Rinke,
>>>
>>
>> Hi Matthew,
>>
>>> Classes, properties and individuals that have "defining" axioms in
>>> the
>>> currently selected ontology are shown in bold.... or this used to be
>>> the case (somehow everything seems bold now).
>>
>> yup, for me too
>>
>>> Also, you should be
>>> able to right click on any axiom (in the standard components) and
>>> select move axiom to e.g.
>>
>> Aaaaaah excellent! I should have tried that before posting... sorry
>> *blushes*
>>
>> Great,
>>
>>      Rinke (happy)
>>
>> PS Buglet: Right (or Ctrl-) clicking on the property or class used
>> in an axiom switches to that property/class before the pop-up menu
>> offers anything sensible.
>>
>>>
>>>
>>> -------------- next part --------------
>>> A non-text attachment was scrubbed...
>>> Name: pastedGraphic.png
>>> Type: image/png
>>> Size: 33761 bytes
>>> Desc: not available
>>> Url : http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20080810/9e5391e8/attachment.png
>>> -------------- next part --------------
>>>
>>>
>>>
>>> Cheers,
>>>
>>> Matthew
>>>
>>>
>>> On 10 Aug 2008, at 11:55, Rinke Hoekstra wrote:
>>>
>>>> Hi,
>>>>
>>>> The 'move axioms to ontology' refactoring tool is really useful for
>>>> bulk actions, but rather cumbersome when dealing with individual
>>>> axioms. For instance, I frequently assert axioms in the wrong
>>>> ontology
>>>> of my imports closure (a bit more visual feedback on which classes/
>>>> properties are defined in the currently selected ontology would be
>>>> nice). To correct this, I now have to go through all the steps in
>>>> the
>>>> refactoring wizard, whereas a simple context-sensitive 'move
>>>> axiom...'
>>>> option is much more effective.
>>>>
>>>> -Rinke
>>>>
>>>> -----------------------------------------------
>>>> Drs. Rinke Hoekstra
>>>>
>>>> Email: [hidden email]    Skype:  rinkehoekstra
>>>> Phone: +31-20-5253499     Fax:   +31-20-5253495
>>>> Web:   http://www.leibnizcenter.org/users/rinke
>>>>
>>>> Leibniz Center for Law,          Faculty of Law
>>>> University of Amsterdam,            PO Box 1030
>>>> 1000 BA  Amsterdam,             The Netherlands
>>>> -----------------------------------------------
>>>>
>>>>
>>>>
>>>> _______________________________________________
>>>> p4-feedback mailing list
>>>> [hidden email]
>>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>>>
>>> ------------------------------
>>>
>>> _______________________________________________
>>> p4-feedback mailing list
>>> [hidden email]
>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>>>
>>> End of p4-feedback Digest, Vol 23, Issue 10
>>> *******************************************
>>
>> -----------------------------------------------
>> Drs. Rinke Hoekstra
>>
>> Email: [hidden email]    Skype:  rinkehoekstra
>> Phone: +31-20-5253499     Fax:   +31-20-5253495
>> Web:   http://www.leibnizcenter.org/users/rinke
>>
>> Leibniz Center for Law,          Faculty of Law
>> University of Amsterdam,            PO Box 1030
>> 1000 BA  Amsterdam,             The Netherlands
>> -----------------------------------------------
>>
>>
>>
>
> -----------------------------------------------
> Drs. Rinke Hoekstra
>
> Email: [hidden email]    Skype:  rinkehoekstra
> Phone: +31-20-5253499     Fax:   +31-20-5253495
> Web:   http://www.leibnizcenter.org/users/rinke
>
> Leibniz Center for Law,          Faculty of Law
> University of Amsterdam,            PO Box 1030
> 1000 BA  Amsterdam,             The Netherlands
> -----------------------------------------------
>
>
>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback

-----------------------------------------------
Drs. Rinke Hoekstra

Email: [hidden email]    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------



_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback



_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback