📄 opal.txt
字号:
/L20"Opal" Line Comment = -- Block Comment On = /* Block Comment Off = */ String Chars = " File Extensions = IMPL SIGN
/Delimiters = ([)]? ",+
/C1"Keywords"
**
:
\*\*
ASSERT
ASSUME
COMPLETELY
DATA
DEF
DFD
EX
FUN
IMPLEMENTATION
IMPORT
JUSTF
LAW
ONLY
POST
PRE
PROOF
SIGNATURE
SORT
SPC
THEORY
TYPE
->
==
===
==>
<=>
?
/C2"datatypes"
bool
denotation
/C3"keywordtype2"
\\\\
,
::
ALL
AND
ANDIF
AS
ELSE
FI
IF
IN
LET
NOT
OR
ORIF
OTHERWISE
THEN
WHERE
(
)
[
]
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -