forked from GitHub/gf-core
Spring cleaning
Nothing major...
This commit is contained in:
@@ -26,7 +26,7 @@ document.write('<div style="text-align: right"> <form onsubmit="return sitesear
|
||||
<img id=gflogo class=grow src="doc/Logos/gf0.png" alt="">
|
||||
<script>
|
||||
if(document.implementation.hasFeature("http://www.w3.org/TR/SVG11/feature#BasicStructure", "1.1"))
|
||||
document.getElementById("gflogo").src="doc/Logos/gf0.svg"
|
||||
document.getElementById("gflogo").src="doc/Logos/gf1.svg"
|
||||
</script>
|
||||
<H1>Grammatical Framework</H1>
|
||||
<P>
|
||||
|
||||
Reference in New Issue
Block a user