next up previous
Next: Step 2: Browsing Up: The TkHol Tutorial Previous: Introduction

Step 1: Starting TkHol

 

After you have installed TkHol, make a working directory for yourself somewhere in your directory structure:

merganser > cd ~
merganser > mkdir btree
merganser > cd btree
Now start TkHol with the interface on If you have placed TkHol on your path, you will just have to type:
merganser > tkhol -on
Otherwise you will have to type something like:
merganser > /usr/groups/hol/interfaces/TkHol/bin/tkhol -on
After a short time an information window will appear telling you what is happening during start up. Soon after the hol90 command line prompt will appear, and then the TkHol main window - the ``Theory Viewer'', will appear.

Checking you're working with the right HOL executable

You should make sure that you have started the extended hol90 executable that was built while installing TkHol. You will soon find out if you haven't, as the interface will begin loading in the extra code it needs. To check if you are using the extended hol90 executable, type

TkHol - loaded_libraries();
at the command line. If libraries such as interface_maps and goaltrees are among the list that is displayed, then you are using the extended hol90 executable.



Donald Syme
Fri Sep 1 04:00:07 BST 1995