diff options
| author | Pierre Courtieu | 2006-08-16 19:39:17 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-08-16 19:39:17 +0000 |
| commit | ac2e639f94f49c3b76720d53575c25022d4d58cc (patch) | |
| tree | 8433f316819729135e041b59dd517b6961a9e530 /pgshell/example.pgsh | |
| parent | 6631d821b2fcb2f5c07255abbcce1d0dfa80e709 (diff) | |
Added entries in coq menu, rearranged coq menu.
Also added semi-automated setting of local file variables (*** Local
Variables ***) coq-prog-name and coq-prog-args.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions