6 files changed, 2 insertions, 0 deletions
diff --git a/doc/Logos/gf-logo.gif b/doc/Logos/gf-logo.gif
new file mode 100644
index 000000000..283534cfa
--- /dev/null
+++ b/doc/Logos/gf-logo.gif
diff --git a/doc/Logos/gf-logo.png b/doc/Logos/gf-logo.png
new file mode 100644
index 000000000..bda5f4544
--- /dev/null
+++ b/doc/Logos/gf-logo.png
diff --git a/doc/Logos/gf0.png b/doc/Logos/gf0.png
new file mode 100644
index 000000000..e57403314
--- /dev/null
+++ b/doc/Logos/gf0.png
diff --git a/doc/Logos/gf0.svg b/doc/Logos/gf0.svg
new file mode 100644
index 000000000..f1db74b78
--- /dev/null
+++ b/doc/Logos/gf0.svg
@@ -0,0 +1 @@
+<?xml version="1.0" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg width="100%" height="100%" version="1.1"
+xmlns="http://www.w3.org/2000/svg">
+<desc>Grammatical Framework Logo</desc>
+<path d="M157.5,225.5 v-51 h59 m-59,0 v-53 h114 a110.5,105 0 1,1 -24,-66"
+        fill="none" stroke="red" stroke-width="4"
+        stroke-linejoin="round" stroke-linecap="round"/>
+</svg> 
+\ No newline at end of file
diff --git a/doc/Logos/gf00.png b/doc/Logos/gf00.png
new file mode 100644
index 000000000..18c280487
--- /dev/null
+++ b/doc/Logos/gf00.png
diff --git a/doc/Logos/gf00.svg b/doc/Logos/gf00.svg
new file mode 100644
index 000000000..933fd0a81
--- /dev/null
+++ b/doc/Logos/gf00.svg
@@ -0,0 +1 @@
+<?xml version="1.0" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg width="100%" height="100%" version="1.1"
+xmlns="http://www.w3.org/2000/svg">
+<desc>Grammatical Framework Logo</desc>
+<path d="M200,25 a120,100 0 1,0 51,81 h-120 v100 m0,-50 h50"
+        fill="none" stroke="red" stroke-width="4"
+        stroke-linejoin="round" stroke-linecap="round"/>
+</svg> 
+\ No newline at end of file