Added credit text at bottom of frontend.

src/frontend/css/editor.css

@@ -122,3 +122,14 @@ body {
     padding: 0 !important;
 }
 */
+
+#credits {
+    clear both;
+    left: 0;
+    right: 0;
+    bottom: 0;
+    position: fixed;
+    font-size: 10px;
+    color: #666;
+    text-align: center;
+}

src/frontend/tpl/editor.html

@@ -22,6 +22,12 @@
             <div class="label">Math view</div>
         </div>
 
+        <div id="credits">Idea and feedback by <a
+                href="http://homepages.cwi.nl/~apt/" target=_window>Prof.dr.
+                K.R. Apt</a>, implementation by Taddeüs Kroes and <a
+                href="http://smvv.kompiler.org" target=_window>Sander van
+                Veen</a>. </div>
+
         <script type="text/javascript" src="/static/frontend/js/editor.js"></script>
     </body>
 </html>