stephen_leake pushed a change to branch externals/wisitoken-grammar-mode.
from 541b6fd423 ; Prefer HTTPS to HTTP in most URLs
new 2d58879cea Release 1.3.0
new 8f1cb9639d Release 1.3.0
Summary of changes:
Alire.make | 11 +
build.sh | 12 +-
emacs_wisitoken_grammar_mode.gpr | 35 +
install.sh | 20 +
run_wisitoken_grammar_parse.ads | 4 +-
simple-indent-mode.el | 79 +
wisi-wisitoken_grammar.adb | 60 +-
wisi-wisitoken_grammar.ads | 35 +-
wisitoken-grammar-mode.el | 178 +-
wisitoken_grammar.gpr.gp | 7 +-
wisitoken_grammar_1-process.el | 133 -
wisitoken_grammar_1.wy | 186 +-
wisitoken_grammar_1_process_actions.adb | 418 ---
wisitoken_grammar_1_process_actions.ads | 277 --
wisitoken_grammar_1_process_main.adb | 1749 -------------
wisitoken_grammar_1_process_main.ads | 36 -
wisitoken_grammar_1_re2c.c | 4303 -------------------------------
wisitoken_grammar_1_re2c_c.ads | 63 -
wisitoken_grammar_mode_parse.ads | 5 +-
19 files changed, 459 insertions(+), 7152 deletions(-)
create mode 100644 Alire.make
create mode 100644 emacs_wisitoken_grammar_mode.gpr
create mode 100755 install.sh
create mode 100644 simple-indent-mode.el
delete mode 100644 wisitoken_grammar_1-process.el
delete mode 100644 wisitoken_grammar_1_process_actions.adb
delete mode 100644 wisitoken_grammar_1_process_actions.ads
delete mode 100644 wisitoken_grammar_1_process_main.adb
delete mode 100644 wisitoken_grammar_1_process_main.ads
delete mode 100644 wisitoken_grammar_1_re2c.c
delete mode 100644 wisitoken_grammar_1_re2c_c.ads
