diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2000-11-23 10:25:16 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2000-11-23 10:25:16 +0000 |
commit | c0e191dfe45e32dd49ab704b52a76d17fa40d52a (patch) | |
tree | ffba1706555b32d439e49b0211a52b7ac84b2a9f /images/qed.8bit.xpm | |
parent | 7bc4491268808bb6dd8c45a66b46683eeac1940c (diff) |
I am starting to make PG coqV7 compatible, I think the best is to
allow both V6 and V7 for a while. Theoretically, incompatibilities
will not be numerous.
Diffstat (limited to 'images/qed.8bit.xpm')
0 files changed, 0 insertions, 0 deletions