Update to 8.0

vendor/assets/javascripts/highlight_js/languages/mizar.js

@@ -0,0 +1,24 @@
+/*
+  Language: Mizar
+  Author: Kelley van Evert <kelleyvanevert@gmail.com>
+*/
+
+function(hljs) {
+  return {
+    keywords: [
+      "environ vocabularies notations constructors definitions registrations theorems schemes requirements",
+      "begin end definition registration cluster existence pred func defpred deffunc theorem proof",
+      "let take assume then thus hence ex for st holds consider reconsider such that and in provided of as from",
+      "be being by means equals implies iff redefine define now not or attr is mode suppose per cases set",
+      "thesis contradiction scheme reserve struct",
+      "correctness compatibility coherence symmetry assymetry reflexivity irreflexivity",
+      "connectedness uniqueness commutativity idempotence involutiveness projectivity"
+    ].join(" "),
+    contains: [
+      {
+        className: "comment",
+        begin: "::", end: "$"
+      }
+    ]
+  };
+}