* 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