Skip to content

Latest commit

 

History

History
 
 

lib

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
README
README
 
 
bufhist.el
bufhist.el
 
 
holes.el
holes.el
 
 
local-vars-list.el
local-vars-list.el
 
 
maths-menu.el
maths-menu.el
 
 
pg-dev.el
pg-dev.el
 
 
pg-fontsets.el
pg-fontsets.el
 
 
proof-compat.el
proof-compat.el
 
 
scomint.el
scomint.el
 
 
span.el
span.el
 
 
texi-docstring-magic.el
texi-docstring-magic.el
 
 
unicode-chars.el
unicode-chars.el
 
 
unicode-tokens.el
unicode-tokens.el
 
 

README

This directory contains general library lisp files.  

Some of these have been developed as part of the Proof General
project; others have been taken from other sources.  See individual
files for  copyright holder and license details.