emacs-elpa-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[nongnu] branch elpa/opam-switch-mode created (now a306f75d82)


From: ELPA Syncer
Subject: [nongnu] branch elpa/opam-switch-mode created (now a306f75d82)
Date: Mon, 14 Nov 2022 08:59:57 -0500 (EST)

elpasync pushed a change to branch elpa/opam-switch-mode.

        at  a306f75d82 docs(README.md): detail

This branch includes the following new commits:

       new  3a1c181d04 first version, can set but not reset
       new  0c2ecc2834 add reset, cleanup
       new  da49a0980b license and minimal documentation
       new  3d63566b0d provide README
       new  e2ed274519 add emacs code documentation, also delete default switch 
parsing
       new  c8ca450330 hint on other shells; update README
       new  7de138a0e9 add minor mode with menu bar menu
       new  9d8aa6d5dc display current switch in menu
       new  515d08dfb3 check and handle opam errors
       new  7306ce0fee add separator in menu after current switch
       new  d7ccecbf51 reset proof shell in Proof General via a hook function
       new  8a021ff128 rename to opam-switch-mode; use opsw as prefix for 
internals
       new  16b8276f85 use -- for internal stuff
       new  f62c708225 typo fix
       new  95a3b4225a fix: (opam-switch-mode) × 3 bug (#4)
       new  7c648a0719 docs: details (#3)
       new  0db601100c docs: Run `M-x checkdoc` and address its feedback
       new  cad8510077 refactor: Run `M-x package-lint-current-buffer` and 
address its feedback
       new  a83de84719 refactor: Replace `opsw--` with `opam-switch--`
       new  7c2118fb9e docs(README.md): Add direct hyperlink to PG online doc
       new  df290bd0e3 Merge pull request #6 from ProofGeneral/prepare-melpa
       new  4f05665f5c fix: Add missing autoloads
       new  dd6a86ddad Add LICENSE
       new  2c5ccd61f8 fix: Address review comments
       new  eaf04b959d fix: Improve error handling further (if opam can't be 
found)
       new  5f3d2102ae Add OCaml keyword and https://opam.ocaml.org URL
       new  22fa9efcb6 docs(README.md): Add install section
       new  4334933613 docs(README.md): Add MELPA badge
       new  e681cbdcb7 chore: Update header and maintainer mailing list
       new  dea35145a3 Merge pull request #7 from ProofGeneral/add-doc
       new  a306f75d82 docs(README.md): detail




reply via email to

[Prev in Thread] Current Thread [Next in Thread]