1Nana Shortform Generator. 2 3* What is a short form. 4"Eiffel speak" for the code minus the implementation, i.e we list 5function types, arguments and the preconditions, postconditions. 6 7* What does it do. 8Produce a listing of your functions with pre/post conditions in HTML 9(a summary of the code). 10 11* What do you need to get this to work. 12A separate source code to HTML generator is required. Currently we use 13the GLOBAL package which is available from Shigio Yamaguchi at 14http://wafu.netgate.net/tama/unix/global.html or at a FreeBSD archive 15(www.<country>.freebsd.org). A huge variety of other translators 16exist on the internet, see the documentation for more suggestions. 17 18* How do I test it. 19Just run make example in this directory and then look at HTML/index.html 20 21 22 23