diff options
| author | David Aspinall | 2012-01-05 10:18:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-01-05 10:18:27 +0000 |
| commit | aa84dc9b98eda2ea62cc06a9edacb5f2dfa3a96c (patch) | |
| tree | e4953c1bb02bfd3ffd9e675733c13ede082fb41e /lib/pg-dev.el | |
| parent | 787510f7ab4565e6ee8f06060c099c3ee56e42d8 (diff) | |
Update variable docs. Use HOL Light instead of HOL98.
Diffstat (limited to 'lib/pg-dev.el')
0 files changed, 0 insertions, 0 deletions