diff options
| author | Théo Zimmermann | 2018-10-01 11:54:22 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-01 11:54:22 +0200 |
| commit | 9134d94d42bafd38dfcc6a09a99edd554e636b55 (patch) | |
| tree | f945ea81de26d9748e833762b87789f62e77ea5f /doc/sphinx/_static | |
| parent | cce3f57a9f0299e9010ea5af666f8e9e7055fc34 (diff) | |
| parent | 02c3cac9fa4f4e88f911486e345740ff7d0a2eab (diff) | |
Merge PR #8301: Documentation for proof diffs
Diffstat (limited to 'doc/sphinx/_static')
| -rw-r--r-- | doc/sphinx/_static/diffs-coqide-compacted.png | bin | 0 -> 1723 bytes |
| -rw-r--r-- | doc/sphinx/_static/diffs-coqide-multigoal.png | bin | 0 -> 2172 bytes |
| -rw-r--r-- | doc/sphinx/_static/diffs-coqide-on.png | bin | 0 -> 2518 bytes |
| -rw-r--r-- | doc/sphinx/_static/diffs-coqide-removed.png | bin | 0 -> 4187 bytes |
| -rw-r--r-- | doc/sphinx/_static/diffs-coqtop-compacted.png | bin | 0 -> 3458 bytes |
| -rw-r--r-- | doc/sphinx/_static/diffs-coqtop-multigoal.png | bin | 0 -> 4601 bytes |
| -rw-r--r-- | doc/sphinx/_static/diffs-coqtop-on.png | bin | 0 -> 7038 bytes |
| -rw-r--r-- | doc/sphinx/_static/diffs-coqtop-on3.png | bin | 0 -> 2125 bytes |
8 files changed, 0 insertions, 0 deletions
diff --git a/doc/sphinx/_static/diffs-coqide-compacted.png b/doc/sphinx/_static/diffs-coqide-compacted.png Binary files differnew file mode 100644 index 0000000000..b64ffeb269 --- /dev/null +++ b/doc/sphinx/_static/diffs-coqide-compacted.png diff --git a/doc/sphinx/_static/diffs-coqide-multigoal.png b/doc/sphinx/_static/diffs-coqide-multigoal.png Binary files differnew file mode 100644 index 0000000000..4020279267 --- /dev/null +++ b/doc/sphinx/_static/diffs-coqide-multigoal.png diff --git a/doc/sphinx/_static/diffs-coqide-on.png b/doc/sphinx/_static/diffs-coqide-on.png Binary files differnew file mode 100644 index 0000000000..f270397ea3 --- /dev/null +++ b/doc/sphinx/_static/diffs-coqide-on.png diff --git a/doc/sphinx/_static/diffs-coqide-removed.png b/doc/sphinx/_static/diffs-coqide-removed.png Binary files differnew file mode 100644 index 0000000000..8f2e71fdc8 --- /dev/null +++ b/doc/sphinx/_static/diffs-coqide-removed.png diff --git a/doc/sphinx/_static/diffs-coqtop-compacted.png b/doc/sphinx/_static/diffs-coqtop-compacted.png Binary files differnew file mode 100644 index 0000000000..b37f0a6771 --- /dev/null +++ b/doc/sphinx/_static/diffs-coqtop-compacted.png diff --git a/doc/sphinx/_static/diffs-coqtop-multigoal.png b/doc/sphinx/_static/diffs-coqtop-multigoal.png Binary files differnew file mode 100644 index 0000000000..cfedde02ac --- /dev/null +++ b/doc/sphinx/_static/diffs-coqtop-multigoal.png diff --git a/doc/sphinx/_static/diffs-coqtop-on.png b/doc/sphinx/_static/diffs-coqtop-on.png Binary files differnew file mode 100644 index 0000000000..bdfcf0af1a --- /dev/null +++ b/doc/sphinx/_static/diffs-coqtop-on.png diff --git a/doc/sphinx/_static/diffs-coqtop-on3.png b/doc/sphinx/_static/diffs-coqtop-on3.png Binary files differnew file mode 100644 index 0000000000..63ff869432 --- /dev/null +++ b/doc/sphinx/_static/diffs-coqtop-on3.png |
