Popular repositories Loading

1. emacs24-starter-kit emacs24-starter-kit Public

   Forked from eschulte/emacs24-starter-kit

   A cleaner version of the literate starter kit based on Emacs24

   Emacs Lisp

2. rice-wine rice-wine Public

   emacs configuration

   Emacs Lisp

3. PG PG Public

   Forked from ProofGeneral/PG

   This repo is the new home of Proof-General (http:https://proofgeneral.inf.ed.ac.uk/ will be updated soon)

   Emacs Lisp

4. company-coq company-coq Public

   Forked from cpitclaudel/company-coq

   IDE extensions for Proof General's Coq mode

   Emacs Lisp

5. use-package use-package Public

   Forked from jwiegley/use-package

   A use-package declaration for simplifying your .emacs

   Emacs Lisp

6. jwiegley-dot-emacs jwiegley-dot-emacs Public

   Forked from jwiegley/dot-emacs

   jwiegley's dot emacs

   Emacs Lisp