Low Performance Knowledge Base Activity

Brought to you by: kennedycolm

• Summary
• Files
• Reviews
• Support
• Mailing Lists
• Code
• Cvs
• News
• Discussion

Activity for Low Performance Knowledge Base

• 8 days ago

  Colm Kennedy posted a comment on discussion Open Discussion

  The bundle lpkb (lpkb.tar.gz) still works. It will read in the image containing 11,000 axioms and the utility programmes will write this information out again, in various formats. The bundle cskb (cksb.tar.gz) relies on an older version of the gtk toolkit and does not compile.

• 3 years ago

  Colm Kennedy posted a comment on discussion Help

  http://docs.cornagill.info/pdfs/camera.pdf

1