aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/local-vars-list.el
Commit message (Expand)AuthorAge
* Avoid compilation errorGravatar David Aspinall2007-08-19
* Comments and docstring fixes in lib and generic.Gravatar Pierre Courtieu2006-08-23
* Started the coq-insert-tactic.Gravatar Pierre Courtieu2006-08-21
* continue on the support for local variables list semi-automaticGravatar Pierre Courtieu2006-08-17