|
Server : Apache/2.2.17 (Unix) mod_ssl/2.2.17 OpenSSL/0.9.8e-fips-rhel5 DAV/2 PHP/5.2.17 System : Linux localhost 2.6.18-419.el5 #1 SMP Fri Feb 24 22:47:42 UTC 2017 x86_64 User : nobody ( 99) PHP Version : 5.2.17 Disable Function : NONE Directory : /usr/share/splint/lib/ |
Upload File : |
\comment Standard Larch Shared Language (LSL) init file
commentSym %
idChar '
opChar ~!#$&?@|
singleChar ;
\comment for versions of lsl before 3.1, add [ and ] to the
\comment openSym and closeSym lists:
openSym { \< \langle
closeSym } \> \rangle
selectSym .
simpleId \bot \top
synonym \and /\
synonym \or \/
synonym \implies =>
synonym \not not
synonym \not ~
synonym \eq =
synonym \neq ~=
synonym \arrow ->
synonym \marker __
synonym \equals ==
synonym \forall forall
synonym \eqsep ;
synonym |- \postcat
synonym -| \pretcat
synonym |- \vdash
synonym -| \dashv
synonym \leq <=
synonym \geq >=
synonym \cap \I
synonym \cup \U
synonym \diamond \rel
synonym \sqcap \lub
synonym \sqcup \glb
synonym Bool bool
synonym Int int