From 02c3cac9fa4f4e88f911486e345740ff7d0a2eab Mon Sep 17 00:00:00 2001 From: Jim Fehrle Date: Wed, 22 Aug 2018 21:43:00 -0700 Subject: Documentation for proof diffs --- doc/sphinx/_static/diffs-coqide-compacted.png | Bin 0 -> 1723 bytes doc/sphinx/_static/diffs-coqide-multigoal.png | Bin 0 -> 2172 bytes doc/sphinx/_static/diffs-coqide-on.png | Bin 0 -> 2518 bytes doc/sphinx/_static/diffs-coqide-removed.png | Bin 0 -> 4187 bytes doc/sphinx/_static/diffs-coqtop-compacted.png | Bin 0 -> 3458 bytes doc/sphinx/_static/diffs-coqtop-multigoal.png | Bin 0 -> 4601 bytes doc/sphinx/_static/diffs-coqtop-on.png | Bin 0 -> 7038 bytes doc/sphinx/_static/diffs-coqtop-on3.png | Bin 0 -> 2125 bytes 8 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 doc/sphinx/_static/diffs-coqide-compacted.png create mode 100644 doc/sphinx/_static/diffs-coqide-multigoal.png create mode 100644 doc/sphinx/_static/diffs-coqide-on.png create mode 100644 doc/sphinx/_static/diffs-coqide-removed.png create mode 100644 doc/sphinx/_static/diffs-coqtop-compacted.png create mode 100644 doc/sphinx/_static/diffs-coqtop-multigoal.png create mode 100644 doc/sphinx/_static/diffs-coqtop-on.png create mode 100644 doc/sphinx/_static/diffs-coqtop-on3.png (limited to 'doc/sphinx/_static') diff --git a/doc/sphinx/_static/diffs-coqide-compacted.png b/doc/sphinx/_static/diffs-coqide-compacted.png new file mode 100644 index 0000000000..b64ffeb269 Binary files /dev/null and b/doc/sphinx/_static/diffs-coqide-compacted.png differ diff --git a/doc/sphinx/_static/diffs-coqide-multigoal.png b/doc/sphinx/_static/diffs-coqide-multigoal.png new file mode 100644 index 0000000000..4020279267 Binary files /dev/null and b/doc/sphinx/_static/diffs-coqide-multigoal.png differ diff --git a/doc/sphinx/_static/diffs-coqide-on.png b/doc/sphinx/_static/diffs-coqide-on.png new file mode 100644 index 0000000000..f270397ea3 Binary files /dev/null and b/doc/sphinx/_static/diffs-coqide-on.png differ diff --git a/doc/sphinx/_static/diffs-coqide-removed.png b/doc/sphinx/_static/diffs-coqide-removed.png new file mode 100644 index 0000000000..8f2e71fdc8 Binary files /dev/null and b/doc/sphinx/_static/diffs-coqide-removed.png differ diff --git a/doc/sphinx/_static/diffs-coqtop-compacted.png b/doc/sphinx/_static/diffs-coqtop-compacted.png new file mode 100644 index 0000000000..b37f0a6771 Binary files /dev/null and b/doc/sphinx/_static/diffs-coqtop-compacted.png differ diff --git a/doc/sphinx/_static/diffs-coqtop-multigoal.png b/doc/sphinx/_static/diffs-coqtop-multigoal.png new file mode 100644 index 0000000000..cfedde02ac Binary files /dev/null and b/doc/sphinx/_static/diffs-coqtop-multigoal.png differ diff --git a/doc/sphinx/_static/diffs-coqtop-on.png b/doc/sphinx/_static/diffs-coqtop-on.png new file mode 100644 index 0000000000..bdfcf0af1a Binary files /dev/null and b/doc/sphinx/_static/diffs-coqtop-on.png differ diff --git a/doc/sphinx/_static/diffs-coqtop-on3.png b/doc/sphinx/_static/diffs-coqtop-on3.png new file mode 100644 index 0000000000..63ff869432 Binary files /dev/null and b/doc/sphinx/_static/diffs-coqtop-on3.png differ -- cgit v1.2.3