diff options
Diffstat (limited to 'support/splint/examples/symbols/symtoks.sty')
| -rw-r--r-- | support/splint/examples/symbols/symtoks.sty | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/support/splint/examples/symbols/symtoks.sty b/support/splint/examples/symbols/symtoks.sty index 8d6cdc5596..3ab9b142c7 100644 --- a/support/splint/examples/symbols/symtoks.sty +++ b/support/splint/examples/symbols/symtoks.sty @@ -1,3 +1,19 @@ +% Copyright 2012-2020, Alexander Shibakov +% This file is part of SPLinT +% +% SPLinT is free software: you can redistribute it and/or modify +% it under the terms of the GNU General Public License as published by +% the Free Software Foundation, either version 3 of the License, or +% (at your option) any later version. +% +% SPLinT is distributed in the hope that it will be useful, +% but WITHOUT ANY WARRANTY; without even the implied warranty of +% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +% GNU General Public License for more details. +% +% You should have received a copy of the GNU General Public License +% along with SPLinT. If not, see <http://www.gnu.org/licenses/>. + \prettywordpair{ANOTHER}{{\rm(}another\rm{)}} \prettywordpair{TOKEN}{$\langle${\it token}$\rangle$} \prettywordpair{GENERIC}{{\tt \_Generic}} |