From 3e96002677226c0cdaa8f355938a76cfb37a722a Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 14 Oct 2010 17:51:11 +0200 Subject: Imported Upstream version 8.3 --- doc/refman/coqide-queries.png | Bin 0 -> 27316 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 doc/refman/coqide-queries.png (limited to 'doc/refman/coqide-queries.png') diff --git a/doc/refman/coqide-queries.png b/doc/refman/coqide-queries.png new file mode 100644 index 00000000..dea5626f Binary files /dev/null and b/doc/refman/coqide-queries.png differ -- cgit v1.2.3