|
| From: | Maxime Biais |
| Subject: | Re: [Vampire-public] Coding style |
| Date: | Fri, 9 Jan 2004 22:06:55 +0100 |
I add a section on global variables: diff -r1.1 HACKING 42a43,46 > *** Global variables > > Use UPPER_CASE_WITH_UNDERSCORE. > -- Maxime Biais
| [Prev in Thread] | Current Thread | [Next in Thread] |