From 947f4e1c57332133d2b2904653973f23eca4f97f Mon Sep 17 00:00:00 2001
From: diekmann <diekmann@minicon.net.in.tum.de>
Date: Wed, 18 Jun 2014 09:34:26 +0200
Subject: [PATCH] alphabetic sorting

---
 lib/linguist/languages.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

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