diff options
| author | David Aspinall | 1998-10-07 16:21:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-07 16:21:57 +0000 |
| commit | 6a398f92512b6971cd4332d848b46858f841e063 (patch) | |
| tree | 4e11e24518b09bcef387e7d3d95c56ac6f54825b /html | |
| parent | 85893db49e75c60afb97120f4075d0ece318d375 (diff) | |
Munged name of customization variables so that menus display nicely.
Added cust group for proof general internals.
Added automatic setting of proof-assistant and customize group,
via mode function stubs which load the real elisp files.
(This also avoids polluting the load-path too much).
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions