Tester
Go to
Summary
Parse failure
in file `/tmp/axioms.d', line 13, at `)' with ax2.
Expecting an axiom name.
error: Can't read: /tmp/tester.java error: Can't write: ./tester.class 2 errors Can't find class tester
Back to User Interface
Back to User Interface