KBCV 2.1.0.6 ============ - Appearance 21/03/17: increased width of buttons and of whole application in gui mode. KBCV 2.1.0.5 ============ - Dependencies 17/03/17: KBCV now relies on termlib 2.0.0.4 - Change 17/03/17: switched to Scala 2.11.0 and droped dependency on actors. KBCV 2.1.0.4 ============ - Dependencies 14/03/17: KBCV now relies on termlib 2.0.0.3 KBCV 2.1.0.3 ============ - Dependencies 19/08/15: KBCV now relies on termlib 2.0.0.2 KBCV 2.1.0.2 ============ - New feature 15/10/13: added flag -e for automatic equational logic proofs, and flags -cv and -pt to switch the prove output for -e from 'conversion using history' to 'full conversion' and 'proof tree', respectively. KBCV 2.0.0.0 ============ - Dependencies 08/04/13: KBCV now relies on termlib 2.0.0.0 - New feature 08/04/13: added flags -b, -i, and -u to disable caching, term-indexing, and parallelization, respectively. KBCV 1.8.1.9 ============ - Change feature 19/02/13: unified export_eq_history with rules to export_history - Dependencies 19/02/13: KBCV now relies on termlib 1.2.0.6 KBCV 1.8.1.8 ============ - Change feature 18/02/13: when issuing export_eq_history, now also a VAR section is written at the top of the target-file. - Dependencies 18/02/13: KBCV now relies on termlib 1.2.0.5 KBCV 1.8.1.7 ============ - New feature 18/02/13: in text mode the command remove has been added, to be able to remove a specified list of equations completely. KBCV 1.8.1.6 ============ - New feature 17/02/13: in text mode the commands showeq, showr, showe0, and showh now support lists of indices just like orient. KBCV 1.8.1.5 ============ - Change 15/02/13: export_eq_history format has changed to I : LHS ≈ RHS : BC : [R,]+ - Dependencies 15/02/13: KBCV now relies on termlib 1.2.0.4 KBCV 1.8.1.4 ============ - Change 15/02/13: switched to scala 2.10.0 - Dependencies 15/02/13: KBCV now relies on termlib 1.2.0.3 KBCV 1.8.1.3 ============ - New feature 12/11/12: You may now issue multiple commands in text-mode by separating them by ';', e.g., orient;deduce first tries to orient all equations and next deduces new equations from the new set of rules. KBCV 1.8.0.3 ============ - Change 12/10/12: All file exports, except in XML format, are now done in a buffered way. - Bug fix 12/10/12: When exporting equations the set is no longer converted to rules, which could throw an exception because for rules lhs are not allowed to be variables. - Experimental feature 12/10/12: set_max_simp can now be used in text-mode to set the maximal number of rewrite steps for simplification. - Experimental feature 12/10/12: numeq and numr may now be used in text-mode to show the current number of equations and rules. KBCV 1.8.0.2 ============ - Dependencies 12/8/12: KBCV now relies on termlib 1.2.0.1 - Experimental feature 12/8/12: In text-mode you may now type export_eq_history to get a file where for each of the equations currently in the set the indices of the rules used in their history are given. KBCV 1.8.0.1 ============ - Bug fix 12/6/12: in text mode when showing long equations the index is now correct. termlib 2.0.0.4 =============== - Change 17/03/17: switched to Scala 2.11.0 and droped dependency on actors. termlib 2.0.0.3 =============== - Bug fix 14/03/17: rules should not be collapsed in parallel otherwise it is possible that rules which had already be collapsed are used to collapse other rules which lead to inconsistencies. termlib 2.0.0.2 =============== - Bug fix 19/08/15: removed encompassment-check from collapse, which is not needed in the implementation and prevented variant rules from being simplified. termlib 2.0.0.1 =============== - Change 02/11/13: added 'prime' and 'blocked' info to critical pair export. termlib 2.0.0.0 =============== - Change 08/04/13: recording completion is now concurrent and uses internal caching and term-indexing. termlib 1.2.0.6 =============== - Change 19/02/13: changed orig function used by export_history termlib 1.2.0.5 =============== - Change 18/02/13: export_equations and export_rules now save the index when the target-file has the ending .itrs termlib 1.2.0.4 =============== - Change 15/02/13: new function orig used in export_eq_history termlib 1.2.0.3 =============== - Change 15/02/13: switched to scala 2.10.0 termlib 1.2.0.2 =============== - termlib 1.2.0.1 =============== - new interface for recall