aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--html/text_general.gifbin0 -> 5483 bytes
-rw-r--r--html/text_proof.gifbin0 -> 4652 bytes
2 files changed, 0 insertions, 0 deletions
diff --git a/html/text_general.gif b/html/text_general.gif
new file mode 100644
index 00000000..dd4b54fb
--- /dev/null
+++ b/html/text_general.gif
Binary files differ
diff --git a/html/text_proof.gif b/html/text_proof.gif
new file mode 100644
index 00000000..b40a088b
--- /dev/null
+++ b/html/text_proof.gif
Binary files differ