diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2012-10-03 21:22:56 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2012-10-03 21:22:56 +0000 |
| commit | c92764731e963e84226eb623af7aa3be576fb5ce (patch) | |
| tree | b0d63df1c535417350be367bdf58867798a94df4 /etc/ProofGeneral.spec | |
| parent | 09a7c8f5bf7e080c8853895a26b212a11f4163a4 (diff) | |
"as" insertion on a region.
Diffstat (limited to 'etc/ProofGeneral.spec')
0 files changed, 0 insertions, 0 deletions