========================================================================
    CIRCUS REFINE 
========================================================================

#Font:

The Circus Refine also requires an installation of CZT font. 

Installing CZTSans font in Windows:

   1. Choose Start > Settings > Control Panel

      Note: In Windows XP, choose Start > Control Panel
       
   2. Double-click the Fonts folder.
       
   3. Choose File > Install New Font.
       
   4. Locate the CZTSans font in CircusRefine/font.
             
   5. Select the fonts to install. 
       
   6. To copy the fonts to the Fonts folder, make sure the Copy fonts to the Fonts folder check box is selected.
       
   7. Click OK to install the fonts.

#Images:

Theses files are also needed in Circus Refine interface. 

#veriT:

Theses files are also needed in Circus Refine Proof Obligation Discharge system. 

#Examples:

This Folder contains some parseable files according CZT parser of 6116 revision 
(09/24/2007 - 18:45).  

/////////////////////////////////////////////////////////////////////////////
Other notes:

-> The output file .tex generated by the CircusRefine's Print feature requires 
circus.sty, zed.sty, csp.sty.  
-> The circus.sty is still in devolpment by CZT.


/////////////////////////////////////////////////////////////////////////////
