Please see the manual, chapter 14.3 and appendix B, or ask splint by "splint -help vars".
Mit freundlichen Grüßen i. A. Bodo Wenzel - Entwicklung Software - -- BBR - Baudis Bergmann Rösch Verkehrstechnik GmbH Pillaustraße 1e D - 38126 Braunschweig T: +49.531.27300-766 F: +49.531.27300-999 @: wen...@bbr-vt.de W: http://www.bbr-vt.de Registergericht: AG Braunschweig HRB 3037 Geschäftsführer: Dipl.-Ing. Arne Baudis Dipl.-Ing. Thomas Bergmann Dipl.-Ing. Frank-Michael Rösch USt.-ID-Nr.: DE 114 877 881 _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
