> I guess xorg-server gets installed implicitely when you install xinit.
Yep. xorg-server 1.13.3-1 got installed.
> The symptoms you describe are somewhat strange. I didn't have to
> install WM at all. Everything works well with the default setup.
Well, I've certainly done something wrong, but since there is not yet a
proper installation instruction, I simply start cygwin, then type xinit
into that terminal and voila, I get X without a window manager (of
course). I've installed OpenBox. That seemed to hang. Now I tried Fvwm.
That worked better, although (surprisingly) I don't get
mini/maximize/close buttons. But otherwise hyperdoc came up and also
efricas started fricas inside emacs.
Anyway, the starting procedure is too complicated, nobody will bother to
start FriCAS this way. I cannot help with Windows any further. I believe
a better way to start FriCAS on Windows is to provide a virtual machine
image. OK, our poor Windows users won't be happy with that either.
Ralf