lib/browser/GraphBrowser/ParseError.java

minor renovation of old-style 'axioms' -- make it an alias of iterated 'axiomatization';

package GraphBrowser;

class ParseError extends Exception {
	public ParseError(String s) { super(s); }
}