[elpa] externals/wisitoken-grammar-mode updated (541b6fd423 -> 8f1cb9639d)

[Stephen Leake]

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