]>
andersk Git - splint.git/blame - lib/lslinit.lsi
| Commit | Line | Data |
|---|
| 885824d3 |
1 | \comment Standard Larch Shared Language (LSL) init file |
| 2 | |
| 3 | commentSym % |
| 4 | |
| 5 | idChar ' |
| 6 | opChar ~!#$&?@| |
| 7 | singleChar ; |
| 8 | |
| 9 | \comment for versions of lsl before 3.1, add [ and ] to the |
| 10 | \comment openSym and closeSym lists: |
| 11 | openSym { \< \langle |
| 12 | closeSym } \> \rangle |
| 13 | selectSym . |
| 14 | |
| 15 | simpleId \bot \top |
| 16 | |
| 17 | synonym \and /\ |
| 18 | synonym \or \/ |
| 19 | synonym \implies => |
| 20 | synonym \not not |
| 21 | synonym \not ~ |
| 22 | synonym \eq = |
| 23 | synonym \neq ~= |
| 24 | synonym \arrow -> |
| 25 | synonym \marker __ |
| 26 | synonym \equals == |
| 27 | synonym \forall forall |
| 28 | synonym \eqsep ; |
| 29 | |
| 30 | synonym |- \postcat |
| 31 | synonym -| \pretcat |
| 32 | synonym |- \vdash |
| 33 | synonym -| \dashv |
| 34 | synonym \leq <= |
| 35 | synonym \geq >= |
| 36 | synonym \cap \I |
| 37 | synonym \cup \U |
| 38 | synonym \diamond \rel |
| 39 | synonym \sqcap \lub |
| 40 | synonym \sqcup \glb |
| 41 | |
| 42 | synonym Bool bool |
| 43 | synonym Int int |
This page took 0.564017 seconds and 5 git commands to generate.
andersk / splint.git / blame