It is not our desire to create a fork of the Aldor project.

The trunk of the source repository here at Origo
https://svn.origo.ethz.ch/algebraist
will remain in synch with the main Aldor repository at
https://aquarium.aldor.csd.uwo.ca/svn/trunk
but we intend to create and maintain one or more branch developments here which we hope will eventually be merged back into the main Aldor repository.