diff options
| author | Pierre Courtieu | 2016-04-15 16:39:54 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2016-04-15 16:39:54 +0200 |
| commit | 324ba527662580cfabc3db07d63f30f6515f2aab (patch) | |
| tree | b16e89907e55d60bd3631d79c029ab275bda3b96 /pgshell | |
| parent | dbfe0a4f3b7be8f18ff89f5a544cb9d9ef891b70 (diff) | |
| parent | 096f11ea25419bfa0b44a56d012a5237fb6f2f38 (diff) | |
Merge pull request #68 from ProofGeneral/67-intros-and-PG-settings
Respect user settings in coq-insert-intros
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions