From: drl7x Date: Mon, 21 Apr 2003 01:02:07 +0000 (+0000) Subject: Updated FAQ to match the sytle of web pages on splint.org. X-Git-Tag: splint-3_1_0~7 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/6252ab26bcefaa493fee28775bc03613cd46b0f2 Updated FAQ to match the sytle of web pages on splint.org. e.g. Adding tables with info@splint.org Download - Documentation - Manual - Links Source - Linux - Publications - Talks, etc. --- diff --git a/doc/html/faq.html b/doc/html/faq.html index 3c8ca86..5fccd2c 100644 --- a/doc/html/faq.html +++ b/doc/html/faq.html @@ -3,6 +3,7 @@ + Splint FAQ @@ -12,7 +13,87 @@ -

Splint frequently asked questions

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+Splint - Secure Programming Lint
 + +		 + + +info@splint.org + +
+ +Download +- +Documentation +- +Manual +- +Links + + + + +Reporting +Bugs - +Mailing +Lists      +Sponsors +- +Credits + +
+ +

Splint - Frequently Asked Questions

Index

  1. What is the difference between Splint and LCLint?

    2. @@ -233,5 +314,94 @@ href="http://www.splint.org/lists.html">http://www.splint.org/lists.html)

    You can also email us at splint@splint.org.

    + + + + + + + + + + + + + + +
    + + + + + + + + + + + + + + + + + +
    +Splint - Secure Programming Lint + + + +info@splint.org + +
    + +Download +- +Documentation + +- +Manual +- +Links
    + +Source +- +Linux +- +Publications +- +Talks
    + +     + +    		 + + +Reporting +Bugs - +Mailing +Lists    + +   +Sponsors + +- +Credits + +
    + +
    +