Emacs support for F* - FStarLang

GitHub GitHub
Size 2.7M (2.5M (+176K))
Commits 737 (735 (+2))
Update Stats 16s ... 24s (18s * 10)
Last Change 2020-06-25 11:46:08
Last Check 2020-08-08 20:11:01
Created 2020-05-15 16:03:48
Remotes
1. https://github.com/FStarLang/fstar-mode.el
Forks
1. https://github.com/emacsmirror/fstar-mode
2. https://github.com/felixwellen/fstar-mode.el
3. https://github.com/ildyria/fstar-mode.el
4. https://github.com/mtzguido/fstar-mode.el
5. https://github.com/s-zanella/fstar-mode.el
6. https://github.com/sdia3/fstar-mode.el
7. https://github.com/SECtim/fstar-mode.el
8. https://github.com/syohex/fstar-mode.el
9. https://github.com/Tombert/fstar-mode.el
10. https://github.com/transformersprimeabcxyz/fstar-mode.el-FStarLang

Messages as of last check on 2020-08-08 20:11:01

Operation

SECtim/fstar-mode.el
xhwyli/fstar-mode.el
felixwellen/fstar-mode.el
mtzguido/fstar-mode.el
Tombert/fstar-mode.el
ildyria/fstar-mode.el
transformersprimeabcxyz/fstar-mode.el-FStarLang
emacsmirror/fstar-mode
sdia3/fstar-mode.el
s-zanella/fstar-mode.el
syohex/fstar-mode.el
m-vcs-git-https%3a%2f%2fgithub.com%2fFStarLang%2ffstar-mode.el  https://github.com/FStarLang/fstar-mode.el (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2fFStarLang%2ffstar-mode.el  https://github.com/FStarLang/fstar-mode.el (push)
m-vcs-github-fork-SECtim    https://github.com/SECtim/fstar-mode.el (fetch)
m-vcs-github-fork-SECtim    https://github.com/SECtim/fstar-mode.el (push)
m-vcs-github-fork-Tombert   https://github.com/Tombert/fstar-mode.el (fetch)
m-vcs-github-fork-Tombert   https://github.com/Tombert/fstar-mode.el (push)
m-vcs-github-fork-emacsmirror   https://github.com/emacsmirror/fstar-mode (fetch)
m-vcs-github-fork-emacsmirror   https://github.com/emacsmirror/fstar-mode (push)
m-vcs-github-fork-felixwellen   https://github.com/felixwellen/fstar-mode.el (fetch)
m-vcs-github-fork-felixwellen   https://github.com/felixwellen/fstar-mode.el (push)
m-vcs-github-fork-ildyria   https://github.com/ildyria/fstar-mode.el (fetch)
m-vcs-github-fork-ildyria   https://github.com/ildyria/fstar-mode.el (push)
m-vcs-github-fork-mtzguido  https://github.com/mtzguido/fstar-mode.el (fetch)
m-vcs-github-fork-mtzguido  https://github.com/mtzguido/fstar-mode.el (push)
m-vcs-github-fork-s-zanella https://github.com/s-zanella/fstar-mode.el (fetch)
m-vcs-github-fork-s-zanella https://github.com/s-zanella/fstar-mode.el (push)
m-vcs-github-fork-sdia3 https://github.com/sdia3/fstar-mode.el (fetch)
m-vcs-github-fork-sdia3 https://github.com/sdia3/fstar-mode.el (push)
m-vcs-github-fork-syohex    https://github.com/syohex/fstar-mode.el (fetch)
m-vcs-github-fork-syohex    https://github.com/syohex/fstar-mode.el (push)
m-vcs-github-fork-transformersprimeabcxyz   https://github.com/transformersprimeabcxyz/fstar-mode.el-FStarLang (fetch)
m-vcs-github-fork-transformersprimeabcxyz   https://github.com/transformersprimeabcxyz/fstar-mode.el-FStarLang (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fFStarLang%2ffstar-mode.el
m-vcs-github-fork-SECtim
m-vcs-github-fork-Tombert
m-vcs-github-fork-emacsmirror
m-vcs-github-fork-felixwellen
m-vcs-github-fork-ildyria
m-vcs-github-fork-mtzguido
m-vcs-github-fork-s-zanella
m-vcs-github-fork-sdia3
m-vcs-github-fork-syohex
m-vcs-github-fork-transformersprimeabcxyz
737
Fetching m-vcs-github-fork-sdia3
Fetching m-vcs-github-fork-syohex
Fetching m-vcs-github-fork-emacsmirror
Fetching m-vcs-github-fork-SECtim
Fetching m-vcs-github-fork-Tombert
Fetching m-vcs-github-fork-ildyria
Fetching m-vcs-github-fork-felixwellen
Fetching m-vcs-github-fork-mtzguido
Fetching m-vcs-github-fork-s-zanella
Fetching m-vcs-github-fork-transformersprimeabcxyz
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fFStarLang%2ffstar-mode.el
737

Contact information

Mail to Andreas Kupries