diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
index 8bcffbcc..f24b9b79 100644
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -987,13 +987,6 @@ IRC log:
   - .irclog
   - .weechatlog
 
-Isabelle:
-  type: programming
-  lexer: Text only
-  color: "#fdcd00"
-  extensions:
-  - .thy
-
 Io:
   type: programming
   color: "#a9188d"
@@ -1006,6 +999,13 @@ Ioke:
   extensions:
   - .ik
 
+Isabelle:
+  type: programming
+  lexer: Text only
+  color: "#fdcd00"
+  extensions:
+  - .thy
+
 J:
   type: programming
   lexer: Text only