ProofGeneral

Pinned Repositories

opam-switch-mode
Select OCaml opam switches via a menu or using a command
Language:Emacs Lisp5 2 94
PG
This repo is the new home of Proof General
Language:Emacs Lisp491 13 53790
proofgeneral.github.io
Sources for the Proof General website at https://proofgeneral.github.io/
Language:CSS2 8 25

ProofGeneral's Repositories

ProofGeneral/PG
This repo is the new home of Proof General
Language:Emacs Lisp491 13 53790
ProofGeneral/opam-switch-mode
Select OCaml opam switches via a menu or using a command
Language:Emacs Lisp5 2 94
ProofGeneral/proofgeneral.github.io
Sources for the Proof General website at https://proofgeneral.github.io/
Language:CSS2 8 25