top Part Logo LWB Logo
Known Bugs
There are currently no known bugs any version of the Logics Workbench.
If any bugs get known, they will be included in this page.
------------------------------
ASCII There are currently no known bugs for the general ASCII version.
------------------------------
Solaris There are currently no known bugs for the Solaris version.
Linux There are currently no known bugs for the Linux version.
Mac There are currently no known bugs for the Macintosh version.

top
lwb@iam.unibe.ch LWB 1.1
February 22, 2002