Dear
Wouldn't be a good practice of us to edit collaboratively and openly
such a list either on wikipedia or on github, 2 different but
convenient system for collaborative editing with full track records
(aka the system logs who add waht and when) ?
Today, in many circumstances, wikipedia is de facto used as a
reference. Let's use it that way and make sure sor such a purpose it is
a good reference.
Wikipedia allows for easy and convenient export in many formats, eg.
latex that would be appropriate from time to time to a "proper"
publication on some other place.
Regards,
Nicolas
_______________________________________________
GOAL mailing list
[email protected]
http://mailman.ecs.soton.ac.uk/mailman/listinfo/goal
