diff options
| author | Pierre Courtieu | 2010-09-08 15:40:17 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2010-09-08 15:40:17 +0000 |
| commit | 085f52535d2939e18cdd4ae5e6b24a2220465179 (patch) | |
| tree | 37b6ea61c0bc40651a07e2c9af0b2a8a63373935 /pgshell/example.pgsh | |
| parent | 6c2e5a4b4302619aa46089101b40102fee7a9b6b (diff) | |
illustrating the wrongness of the current multifile processing for coq.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions