diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2006-08-17 17:15:23 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2006-08-17 17:15:23 +0000 |
| commit | 0cd45520c84be3822a248bd4acf1f9505416d64f (patch) | |
| tree | 2eaffbad32bb067e251025157c45d658af8af348 /coq/coq-local-vars.el | |
| parent | ac2e639f94f49c3b76720d53575c25022d4d58cc (diff) | |
continue on the support for local variables list semi-automatic
insertion. I put a new file in lib with basic tools for file variables
lists.
Diffstat (limited to 'coq/coq-local-vars.el')
0 files changed, 0 insertions, 0 deletions