This beta version of LoTREC
- the possibility of resizing of editing windows
- enhanced facilities in editing rules
- infix input formulas editor
Bugs reported: some predefined logics (namely Hybrid-Logic-H-at and LJminimal) make use of connectors that are not correctly analyzed by the infix parser. Best use LoTREC 2.0 for them, or modify the predefined connectors.
Please download, unzip and run the file LoTREC.jar (under Windows "Open with..."+Java).