[Aldor-l] Aldor crash

[Ralf Hemmecke]

> I guess we have too many possible tools... There is also

> http://www.aldor.org/mantis/login_page.php

Well, would you rely on that? Try to say

svn list https://aquarium.aldor.csd.uwo.ca/svn

I currently get

svn: PROPFIND request failed on '/svn'
svn: PROPFIND of '/svn': could not connect to server 
(https://aquarium.aldor.csd.uwo.ca)

> http://algebraist.origo.ethz.ch/node/add/issue
> 
> is more directly linked to the algebraist clone repository at the same
> site - that might be a good thing if developers actually start using
> the integrated development tools available at this site.

OK, then maybe we should report issues there.

Ralf