diff options
| author |  Jasper Hugunin <jasperh@cs.washington.edu> | 2018-02-22 20:08:52 -0800 |
|---|---|---|
| committer | Jasper Hugunin <jasperh@cs.washington.edu> | 2018-03-30 17:48:17 -0700 |
| commit | ef6202218c92bf3fb5bcdeca0c372e5d124cd537 (patch) | |
| tree | 0088016d1a47d56c3f8c1825144e3ccba01aaccd /tools | |
| parent | 0fa8b8cb53050d48187fd2577f2fef0f1a45d024 (diff) | |
Remove deprecated commands Arguments Scope and Implicit Arguments
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gallina-syntax.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/gallina-syntax.el b/tools/gallina-syntax.el index 662762b08..7c59fb6ae 100644 --- a/tools/gallina-syntax.el +++ b/tools/gallina-syntax.el @@ -432,7 +432,6 @@ ("Add Semi Ring" nil "Add Semi Ring #." t "Add\\s-+Semi\\s-+Ring") ("Add Setoid" nil "Add Setoid #." t "Add\\s-+Setoid") ("Admit Obligations" "oblsadmit" "Admit Obligations." nil "Admit\\s-+Obligations") - ("Arguments Scope" "argsc" "Arguments Scope @{id} [ @{_} ]" t "Arguments\\s-+Scope") ("Bind Scope" "bndsc" "Bind Scope @{scope} with @{type}" t "Bind\\s-+Scope") ("Canonical Structure" nil "Canonical Structure #." t "Canonical\\s-+Structure") ("Cd" nil "Cd #." nil "Cd") |