Files
emacs
Folders and files
Name | Name | Last commit date | ||
---|---|---|---|---|
parent directory.. | ||||
Notes: you should not use the file in this folder. Use Proof General as your emacs mode (https://proofgeneral.github.io/). If phox did not propagate yet to your version of ProofGenral, look on github.