Informatik
 
  focus

  FOCUS   

       
Overview
 
Publications
 
Projects
 
Case Studies
 
Focus on Isabelle
 
LaTeX representation
 
AutoFocus
 
   
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
   

 

The package focus.sty provides a flexible user interface for representation of the Focus specifications in LATEX. It allows usage of Focus frame and operators in simple and natural way.

The user guide gives detailed introduction to the package and also short description for the Focus operators and frames. To get the newest version please e-mail us.

 
 
  Maria Spichkova
  Last modified 29.07.2011