Troubleshooting

This page contains information concerning problems that might arise with the installation of the Logics Workbench.

			if you set up a new font with a new font translation file and it doesn't work, check that the correct output mode is selected (it must be set to pretty or only ASCII characters and no special characters will be printed).
			if both, the ASCII and the XLWB don't work, check that the path to the C and C++ libraries (usually /usr/lib) is in the LD_LIBRARY_PATH environment variable.
			if the XLWB does not work, make sure the path to the X11- and Motif-libraries (libX11.so.4, libXm.so.3) are present in the LD_LIBRARY_PATH.
			if the LWB Proof Wish tool is not working, check that the path to the Tcl/Tk 8.0 libraries is in the LD_LIBRARY_PATH. Furthermore, the environment variables TCL_LIBRARY and TK_LIBRARY have to be set to the respective library (normally this should be done when installing Tcl/Tk 8.0).
			if you get a strange error when starting the XLWB ('X Error or failed request...') check that the path to the fonts is readable by the machine your X-Server is running on.

			if both, the ASCII and the XLWB don't work, check that the path to the C and C++ libraries (usually /usr/lib) is in the LD_LIBRARY_PATH environment variable.
			if the LWB Proof Wish tool is not working, check that the path to the Tcl/Tk 8.0 libraries is in the LD_LIBRARY_PATH. Furthermore, the environment variables TCL_LIBRARY and TK_LIBRARY have to be set to the respective library.

			if the LWB Proof Wish tool is not working, check that Tcl/Tk 8.0 is installed correctly. Check this by executing the demo program shipped with your Tcl/Tk 8.0 installation.
			if the LWB crashes after starting, before anything can be entered, try to delete the 'LWB.preferences' file in the preferences folder. Sometimes, when the LWB crashes or is stopped, then the preferences file gets corrupt. This may crash the LWB at the next startup.

lwb@iam.unibe.ch

LWB 1.1 February 22, 2002