Where is Boxer v1.00?

[xylophone234]

where is the boxer ?

http://svn.ask.it.usyd.edu.au/trac/candc/wiki/boxer is unavilibale

[shashiongithub]

http://www.cl.cam.ac.uk/~sc609/candc-1.00.html

[xylophone234]

http://www.cl.cam.ac.uk/~sc609/candc-1.00.html

has no boxer

[shashiongithub]

Could you please contact Kilian Evang on this matter and see he could make available the required Boxer? I will do the same.
https://kilian.evang.name/

[Crista23]

Is Boxer v1.00 available for download? If yes, where can I get it from? Thanks!