-
Stefan Israelsson Tampe authored
f-eof bugfix in parser, dot handling fixed in interpreter, bugfix of term_subsumer, load filenames are imporved
bbb56ad3
f-eof bugfix in parser, dot handling fixed in interpreter, bugfix of term_subsumer, load filenames are imporved