------------------------------------------------------------------------------ CHANGES Change history of the RISC ProofNavigator. Author: Wolfgang Schreiner Copyright (C) 2005-, Research Institute for Symbolic Computation (RISC) Johannes Kepler University, Linz, Austria, http://www.risc.jku.at This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA ------------------------------------------------------------------------------ 1.18 (July 7, 2010) Packaged with SWT 3.6 1.17 (October 29, 2009) Fixed bug in proper parenthesis printing of arithmetic expressions. Switched off implicit REAL->INT conversion, solves problem with CVCL. 1.16 (October 18, 2009) Fixed bug in autostar, support Unicode characters in files/file names. 1.15 (October 6, 2009) Fixed bug in restoring EXISTS formula from file. 1.14 (August 3, 2009) Packaged with SWT 3.5 Changed initial window size 1.13 (April 2, 2009) Fixed refresh of main display on font size change when "about" is shown Fixed error in proof replay of "auto" 1.12 (November 24, 2008) Fixed incorrect precedencies in parsing a+b-c Fixed slight errors in section 3.1 of manual 1.11 (October 6, 2008) Packaged with SWT 3.4 1.1 (October 24, 2007) Fixed bug which sometimes caused exception on termination Changing font sizes now works correctly, no system restart any more Automatic simplification may be switched off New commands option and simplify Manual is updated to describe these commands 1.05 (October 17, 2007) Fixes bugs reported by Robi Malik: - Button "abort" does not break system any more (hopefully ;-) - Syntax error in "split" does not break further parsing any more - Fixed "typeaxiom" generating error messages - Fixed generation of skolem variable names such that after "undo" same names will be generated again (proof replay becomes stable) 1.04 (October 15, 2007) Fixed bug in syntactic priority of WITH Fixed check in equality of range types Make user axioms visible to type checking Remove warnings for CVCL transformations that do not type-check Fix subtype handling in selector expressions 1.03 (July 3, 2007) Packaged with SWT 3.3 1.01 (February 13, 2007) Bug fix in proof replay when command is replaced. Bug fix in type axiom generation. Generalization of command "typeaxiom" to accept base values. Manual updated. 1.0 (July 17, 2006) First release, manual included. ------------------------------------------------------------------------------ End of CHANGES. ------------------------------------------------------------------------------