[Axiom-developer] axiom from tla

[root]

Yes, the sources are the latest CVS copy.
I'm trying to figure out how to create a second project
that uses the first project.
There is no such thing as a simple job :-)

t