?? 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 + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -