Hallo,
der ZIP Download eignet sich für Windows auch sehr gut. Entpacken und in \basex\bin\ die gewünschte Variante z.B. basexgui.bat starten.
Auf diese Art können auch einfach mehrere Versionen benutzt werden, aktuell ist http://files.basex.org/releases/8.5/
VG Max Gärber
Am 12. Oktober 2016 um 16:42 schrieb Schindler Wolfgang Dr. w.schindler@pons.de:
Hallo,
der Download der aktuellen Version des BaseX Windows Installers auf einen Rechner, der über Proxy (hinter einer betrieblichen Firewall) aufs Web zugreift, funktioniert nicht. Warum weiß ich nicht genau, könnte aber vermuten, dass an der Art der URI http://files.basex.org/releases/8.5.3/BaseX853.exe liegt. Gibt es eine andere Methode an den Download zu kommen.
Danke fürs Helfen und noch einen schönen Tag!
Beste Grüße,
Wolfgang Schindler