Skip to content
  • Viktor Kunčak's avatar
    393215c2
    refman is the directory for manul. Style changes and small fixes. (#202) · 393215c2
    Viktor Kunčak authored
    * refman is the directory for manul. It has a Makefile
    
    * Format changes (b5, small margin) to reference manual
    
    * LISA becomes Lisa
    
    * pull out title page
    
    * Formatted kernel proof system to fit pages
    
    * wider margins
    
    * Fixed reference
    
    * change margins again. Added text showing margin width with our font is similar to that of LNCS
    393215c2
    refman is the directory for manul. Style changes and small fixes. (#202)
    Viktor Kunčak authored
    * refman is the directory for manul. It has a Makefile
    
    * Format changes (b5, small margin) to reference manual
    
    * LISA becomes Lisa
    
    * pull out title page
    
    * Formatted kernel proof system to fit pages
    
    * wider margins
    
    * Fixed reference
    
    * change margins again. Added text showing margin width with our font is similar to that of LNCS
Loading