-
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
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
